TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024
Invited Speakers
- Brigitte Pientka (McGill University, Canada)
- Egbert Rijke (University of Ljubljana, Slovenia)
- Talia Ringer (University of Illinois at Urbana-Champaign, USA)
Special Session in Memory of Peter Aczel
- Nicola Gambino (University of Manchester, UK)
- Michael Rathjen (University of Leeds, UK)