BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9765/14-
 May-2018-Colloquium-on-Mathematical-Logic-Zlatan-D
 amnjanovic
DTSTAMP:20180401T044838
SUMMARY:Colloquium on Mathematical Logic, Zlatan D
 amnjanovic
ATTENDEE;ROLE=Speaker:Zlatan Damnjanovic (Universi
 ty of Southern California)
DTSTART;TZID=Europe/Amsterdam:20180514T140000
DTEND;TZID=Europe/Amsterdam:20180514T150000
LOCATION:F1.15, Science Park 107
DESCRIPTION:An elementary theory of concatenation,
  QT+, is introduced and used to establish mutual i
 nterpretability of Robinson arithmetic, Minimal Pr
 edicative Set Theory of Montagna and Mancini, quan
 tifier-free part of Kirby’s finitary set theory, a
 nd Adjunctive Set Theory, with or without extensio
 nality.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>An elementary 
 theory of concatenation, QT+, is introduced and us
 ed to establish mutual interpretability of Robinso
 n arithmetic, Minimal Predicative Set Theory of Mo
 ntagna and Mancini, quantifier-free part of Kirby’
 s finitary set theory, and Adjunctive Set Theory, 
 with or without extensionality.</p>\n
URL:https://www.staff.science.uu.nl/~ooste110/semi
 nar.html
CONTACT:Benno van den Berg at B.vandenBerg3 at uva
 .nl
END:VEVENT
END:VCALENDAR