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/2013/newsitem/5210/6-S
 eptember-2013-Heyting-Day-Meeting-on-Kripke-Models
 -and-of-the-Categorical-Foundations-of-intuitionis
 tic-logic
DTSTAMP:20130829T000000
SUMMARY:Heyting Day: Meeting on Kripke Models and 
 of the Categorical Foundations of intuitionistic l
 ogic
DTSTART;VALUE=DATE:20130906
DTEND;VALUE=DATE:20130906
LOCATION:Doelenzaal, Universiteitsbibliotheek, Sin
 gel 425, Amsterdam
DESCRIPTION:On September 6, the yearly Heyting Day
  takes place in Amsterdam. This festive day is dev
 oted to the celebration both of the 50 year annive
 rsary of Categorical Foundations and of the 50 yea
 r anniversary of Kripke models. Because of the dou
 ble anniversary, this day includes two Heyting lec
 tures, to wit by Ieke Moerdijk and Johan van Benth
 em.   For information about programme and venue, s
 ee: https://www.illc.uva.nl/KNAW/Heyting/nl/Events
 /
X-ALT-DESC;FMTTYPE=text/html:\n      <p>On Septemb
 er 6, the yearly Heyting Day takes place in\n     
  Amsterdam. This festive day is devoted to the cel
 ebration both\n      of the 50 year anniversary of
  Categorical Foundations and of the\n      50 year
  anniversary of Kripke models. Because of the doub
 le\n      anniversary, this day includes two Heyti
 ng lectures, to wit by\n      Ieke Moerdijk and Jo
 han van Benthem.\n      </p>\n    \n      <p>For i
 nformation about programme and venue, see:\n      
 <a target="_blank" href="https://www.illc.uva.nl/K
 NAW/Heyting/nl/Events/Meeting-on-Kripke-models-and
 -Categorical-Foundations-of-Intuitionistic-logic/"
 >https://www.illc.uva.nl/KNAW/Heyting/nl/Events/</
 a>\n      </p>\n    
URL:/NewsandEvents/Archives/2013/newsitem/5210/6-S
 eptember-2013-Heyting-Day-Meeting-on-Kripke-Models
 -and-of-the-Categorical-Foundations-of-intuitionis
 tic-logic
END:VEVENT
END:VCALENDAR