=========================================================== Heyting Day 2025 — Models of intuitionism and computability Symposium in honour of Jaap van Oosten =========================================================== *14 March 2025, Amsterdam* Time: 10:00 - 16:45 Location: KNAW Trippenhuis - Kloveniersburgwal 29, Amsterdam https://www.knaw.nl/en/heyting-day-2025 *Abstract* 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) - Jaap van Oosten (Utrecht University) If you would like to attend, please sign up at https://www.knaw.nl/en/heyting-day-2025 *Organisers* - Benno van den Berg, b.vandenberg3@uva.nl (University of Amsterdam) - Tom de Jong, tom.dejong@nottingham.ac.uk (University of Nottingham) - Albert Visser, a.visser@uu.nl (Utrecht University) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>