Committees
TYPES 2025 is organised by the following people.
Program Committee
- Danel Ahman (University of Tartu, Estonia)
- Guillaume Allais (University of Strathclyde, Scotland)
- Malin Altenmüller (University of Edinburgh, Scotland)
- Sandra Alves (University of Porto, Portugal)
- Casper Bach (University of Southern Denmark, Denmark)
- Ana Bove (Chalmers University of Technology and University of Gothenburg, Sweden)
- Liang-Ting Chen (Academia Sinica, Taiwan)
- Vikraman Choudhury (University of Bologna, Italy)
- Gilda Ferreira (Universidade Aberta, Portugal)
- Daniel Gratzer (Aarhus University, Denmark)
- Tom de Jong (University of Nottingham, England)
- Dominik Kirst (Inria Paris, France)
- Neel Krishnaswami (University of Cambridge, England)
- András Kovács (University of Gothenburg and Chalmers University of Technology, Sweden)
- Peter LeFanu Lumsdaine (Stockholm University, Sweden)
- Kenji Maillard (Inria Rennes-Bretagne Atlantique, France)
- Max New (University of Michigan, United States of America)
- Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) (chair)
- Elaine Pimentel (University College London, England)
- Andrew Swan (University of Ljubljana, Slovenia)
- Tarmo Uustalu (Reykjavík University, Iceland)
- Niels van der Weide (Radboud University Nijmegen, The Netherlands)
- Théo Winterhalter (Inria Saclay, France)
- Maaike Zwart (IT University Copenhagen, Denmark)
Steering Committee
- Eduardo Hermo Reyes (Formal Vindications, Spain)
- Tom de Jong (University of Nottingham, England)
- Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)
- Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)
- Paige Randall North (Utrecht University, The Netherlands) (chair)
- Benno van den Berg (University of Amsterdam, The Netherlands) (secretary)
Local organisers
- Guillaume Allais (University of Strathclyde, Scotland)
- Stuart Gale (University of Strathclyde, Scotland)
- Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)
Sponsors
Gold sponsor
Bronze sponsors
