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/2016/newsitem/8377/15-
 December-2016-Provability-and-Modal-Logic
DTSTAMP:20161205T133527
SUMMARY:Provability and Modal Logic
DTSTART;TZID=Europe/Amsterdam:20161215T100000
DTEND;TZID=Europe/Amsterdam:20161215T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
 rdam
DESCRIPTION:The Institute for Logic, Language, and
  Computation at the University of Amsterdam hosts 
 a workshop on Provability and Modal Logic.  Expert
 s in the field of provability logic and related ar
 eas wil give talks on topics related to arithmetic
 , proof theory, and modal logic.  Attendance is fr
 ee, but registration is required. In order to regi
 ster, please send a mail to paulahenk at gmail.com
  before December the9th.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Institute 
 for Logic, Language, and Computation at the Univer
 sity of Amsterdam hosts a workshop on Provability 
 and Modal Logic.</p>\n\n  <p>Experts in the field 
 of provability logic and related areas wil give ta
 lks on topics related to arithmetic, proof theory,
  and modal logic.</p>\n\n  <p><span style="font-si
 ze: 15px;">Attendance is free, but registration is
  required. In order to register, please send a mai
 l to <a class="email" href="#">paulahenk<span clas
 s="at">&nbsp;at&nbsp;</span>gmail.com</a> before D
 ecember the</span> <span style="font-size: 15px;">
 9th.</span></p>\n
URL:http://events.illc.uva.nl/Workshops/PML2016/
CONTACT:Paula Henk at paulahenk at gmail.com
END:VEVENT
END:VCALENDAR