TYPES 2019
25th International Conference on Types for Proofs and Programs
Programme Committee
- Thorsten Altenkirch University of Nottingham
- Marc Bezem University of Bergen
- Małgorzata Biernacka University of Wrocław
- Jesper Cockx Chalmers University of Technology & University of Gothenburg
- Herman Geuvers Radboud University Nijmegen
- Silvia Ghilezan Univerity of Novi Sad
- Mauro Jaskelioff National University of Rosario
- Ambrus Kaposi Eötvös Loránd University
- Ralph Matthes IRIT, CNRS, University of Toulouse
- Étienne Miquey INRIA, University of Nantes
- Leonardo da Moura Microsoft Research
- Keiko Nakata SAP Potsdam
- Fredrik Nordvall Forsberg University of Strathclyde
- Benjamin Pierce University of Pennsylvania
- Elaine Pimentel Federal University of Rio Grande do Norte
- Luís Pinto University of Minho
- Simona Ronchi Della Rocca University of Turin
- Carsten Schürmann IT University of Copenhagen
- Wouter Swierstra Utrecht University
- Tarmo Uustalu Reykjavik University
