Next Types Meeting(s)

30th International Conference on Types for Proofs and Programs, 10-14 June 2024

TYPES 2024 will take place at  IT University of Copenhagen, Denmark.
Organisers: Rasmus Ejlers Møgelberg, Marco Carbone, Patrick Bahr