TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024
Programme Committee:
- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair)
- Henning Basold (Leiden University, The Netherlands)
- Andrej Bauer (University of Ljubljana, Slovenia)
- Marco Carbone (IT University of Copenhagen, Denmark)
- Jesper Cockx (TU Delft, The Netherlands)
- Greta Coraglia (University of Milan, Italy)
- Peter Dybjer (Chalmers University of Technology, Sweden)
- Yannick Forster (INRIA, France)
- Hugo Herbelin (INRIA, France)
- Patricia Johann (Appalachian State University, USA)
- Marie Kerjean (CNRS, France)
- Ekaterina Komendantskaya (University of Southampton, United Kingdom)
- Meven Lennon-Bertrand (University of Cambridge, United Kingdom)
- Assia Mahboubi (INRIA, France)
- Sonia Marin (University of Birmingham, United Kingdom)
- Anders Mörtberg (Stockholm University, Sweden)
- Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) (co-chair)
- Benjamin Pierce (University of Pennsylvania, USA)
- Jakob Rehof (Technical University of Dortmund, Germany)
- Simona Ronchi Della Rocca (University of Turin, Italy)
- Kristina Sojakova (Vrije Universiteit Amsterdam, The Netherlands)
- Ana Sokolova (University of Salzburg, Austria)
- Bas Spitters (Aarhus University, Denmark)
- Wouter Swierstra (Utrecht University, The Netherlands)
- Philip Wadler (University of Edinburgh, United Kingdom)
Organising Committee:
- Patrick Bahr (IT University of Copenhagen, Denmark)
- Marco Carbone (IT University of Copenhagen, Denmark)
- Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)