(New) 14 March 2025, Heyting Day 2025 - Models of intuitionism and computability: symposium in honour of Jaap van Oosten
Date: Friday 14 March 2025
Time: 10:00-17:00
Location: KNAW Trippenhuis, Kloveniersburgwal 29, Amsterdam
Can we imagine a world in which computability is built-in into the very fabric of reality? The answer is a resounding yes. However, it took us almost 40 years to get the first detailed picture of such a world. Our speakers will give you a scenic tour around worlds of computability. They will introduce the relevant concepts and discuss the many amazing properties of such worlds. The symposium 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 (Radboud University) and Jaap van Oosten (Utrecht University),
For more information, see
https://www.knaw.nl/en/events/heyting-day-2025-models-intuitionism-and-computability
or contact Benno van den Berg at b.vandenberg3 at uva.nl.