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/2015/newsitem/6897/20-
 May-2015-Seminar-on-Provability-Interpretability-I
 ntuitionism-and-Arithmetic-Room-G2-13-Science-Park
 -904-Amsterdam
DTSTAMP:20150518T000000
SUMMARY:Seminar on Provability, Interpretability, 
 Intuitionism and Arithmetic, Room G2.13, Science P
 ark 904, Amsterdam
DTSTART;TZID=Europe/Amsterdam:20150520T150000
DTEND;TZID=Europe/Amsterdam:20150520T170000
LOCATION:Room G2.13, Science Park 904, Amsterdam
DESCRIPTION:We will have a session with two speake
 rs. You are kindly invited to attend.  Speaker 1: 
 Jeroen Goudsmit (Utrecht University)  Title: Finit
 e frames fail: How Infinity Works its Way into the
  Semantics of Admissibility  Speaker 2: Rutger Kuy
 per (Radboud University Nijmegen)  Title: Intuitio
 nistic logic, computability, and the Medvedev and 
 Muchnik lattices  For more information, see http:/
 /phil.uu.nl/piia/
X-ALT-DESC;FMTTYPE=text/html:\n        <p>We will 
 have a session with two speakers. You are kindly i
 nvited to attend.</p>\n        <p>Speaker 1: Jeroe
 n Goudsmit (Utrecht University)<br/>\n        Titl
 e: Finite frames fail: How Infinity Works its Way 
 into the Semantics of Admissibility</p>\n        <
 p>Speaker 2: Rutger Kuyper (Radboud University Nij
 megen)<br/>\n        Title: Intuitionistic logic, 
 computability, and the Medvedev and Muchnik lattic
 es</p>\n    \n        <p>For more information, see
  <a target="_blank" href="http://phil.uu.nl/piia/"
 >http://phil.uu.nl/piia/</a></p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/6897/20-
 May-2015-Seminar-on-Provability-Interpretability-I
 ntuitionism-and-Arithmetic-Room-G2-13-Science-Park
 -904-Amsterdam
END:VEVENT
END:VCALENDAR