Logic List Mailing Archive

CfR: Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten, 14 March, Amsterdam (Netherlands)

=========================
=========================
=========
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)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php