Committees

32nd International Conference on Types for Proofs and Programs
4–8 May 2026, Gothenburg, Sweden, https://types2026.cse.chalmers.se/

Local organisers

Ana Bove (Chalmers University of Technology, Sweden)
Andreas Abel (University of Gothenburg, Sweden)
Christian Sattler (Chalmers University of Technology, Sweden)
Peter Dybjer (Chalmers University of Technology, Sweden)
Robin Adams (Chalmers University of Technology, Sweden)

Program Committee

TBA

Steering Committee

Malin Altenmüller (University of Edinburgh, Scotland)
Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)
Tom de Jong (University of Nottingham, England) (secretary)
Meven Lennon-Bertrand (INRIA, France)
Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) (chair)
Christian Sattler (Chalmers University of Technology, Sweden)