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/2025/newsitem/15356/14
 -March-2025-Heyting-Day-2025---Models-of-intuition
 ism-and-computability-symposium-in-honour-of-Jaap-
 van-Oosten
DTSTAMP:20241223T143043
SUMMARY:Heyting Day 2025 - Models of intuitionism 
 and computability: symposium in honour of Jaap van
  Oosten
DTSTART;TZID=Europe/Amsterdam:20250314T100000
DTEND;TZID=Europe/Amsterdam:20250314T170000
LOCATION:KNAW Trippenhuis, Kloveniersburgwal 29, A
 msterdam
DESCRIPTION:Can we imagine a world in which comput
 ability is built-in into the very fabric of realit
 y? The answer is a resounding yes. However, it too
 k us almost 40 years to get the first detailed pic
 ture of such a world. Our speakers will give you a
  scenic tour around worlds of computability. They 
 will introduce the relevant concepts and discuss t
 he many amazing properties of such worlds. The sym
 posium marks the retirement of Jaap van Oosten and
  will be conducted in English.  Invited speakers: 
 Andy Pitts (University of Cambridge), Andrej Bauer
  (University of Ljubljana), Sebastiaan Terwijn (Ra
 dboud University) and Jaap van Oosten (Utrecht Uni
 versity),
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Can we imagine
  a world in which computability is built-in into t
 he very fabric of reality? The answer is a resound
 ing yes. However, it took us almost 40 years to ge
 t the first detailed picture of such a world. Our 
 speakers will give you a scenic tour around worlds
  of computability. They will introduce the relevan
 t concepts and discuss the many amazing properties
  of such worlds. The symposium marks the retiremen
 t of Jaap van Oosten and will be conducted in Engl
 ish.</p>\n  <p>Invited speakers: Andy Pitts (Unive
 rsity of Cambridge), Andrej Bauer (University of L
 jubljana), Sebastiaan Terwijn (Radboud University)
  and Jaap van Oosten (Utrecht University),</p>\n
URL:https://www.knaw.nl/en/events/heyting-day-2025
 -models-intuitionism-and-computability
CONTACT:Benno van den Berg at b.vandenberg3 at uva
 .nl
END:VEVENT
END:VCALENDAR