Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten

Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten

[Tom de Jong]

[-- Attachment #1: Type: text/plain, Size: 2138 bytes --]

===========================================================
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<https://url.au.m.mimecastprotect.com/s/5csjC81Vq2C6PmlnGc1hYIy4z3b?domain=knaw.nl>

*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<https://url.au.m.mimecastprotect.com/s/5csjC81Vq2C6PmlnGc1hYIy4z3b?domain=knaw.nl>

*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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4098 bytes --]