Type Theory, Constructive Mathematics and Geometric Logic
1-5 May, 2023

Théorie des types, mathématiques constructives et logique géométrique
1-5 Mai, 2023

Peter ARNDT University of Düsseldorf
Sergei ARTEMOV City University of New York
Matthias BAAZ Vienna University of Technology
Karim Johannes BECHER University of Antwerpen
Ulrich BERGER Swansea University
Ingo BLECHSCHMIDT University of Augsburg
Valentin BLOT Université Paris-Saclay
Jean-Jacques BRAHIM Aix-Marseille Université
Heiko BRAUN University of Bonn
Gabriele BURIOLA University of Verona
Felix CHERUBINI University of Gothenburg
Gregory CHICHERY Aix-Marseille Université
Thierry COQUAND University of Gothenburg
Giacomo COZZI University of Augsburg
Anupam DAS University of Birmingham
Tom DE JONG University of Nottingham
Peter DYBJER Chalmers University of Technology
Jacopo EMMENEGGER University of Genoa
Martín ESCARDÓ University of Birmingham
Giulio FELLIN University of Verona
Jonas FREY Carnegie Mellon University
Yoan GÉRAN Université Paris-Saclay
Luis GAMBARTE Ludwig Maximilians-University of Munich
Han GAO Aix-Marseille Université
Simon HENRY University of Ottawa
Matthias HUTZLER University of Gothenburg
Luka ILIC Queen Mary University London
Alkis IOANNIDIS Utrecht University
Hajime ISHIHARA Japan Advanced Institute of Science and Technology
Joost JOOSTEN University of Barcelona
Moana JUBERT Université Paris-Cité
Tatsuji KAWAI Japan Advanced Institute of Science and Technology
Nils KOEPP Ludwig Maximilians-University of Munich
Yves LAFONT Aix-Marseille Université
Henri LOMBARDI Université de Franche-Comté
Peter LUMSDAINE Stockholm University
Valentin MAESTRACCI Aix-Marseille Université
Samuele MASCHIO University of Padua
Dale MILLER Centre Inria de Saclay
Étienne MIQUEY Aix-Marseille Université
Hugo MOENECLAEY University of Gothenburg
Vincent MOREAU IRIF, Université Paris Cité, Inria Paris
Sara NEGRI University of Genoa
Takako NEMOTO Tohoku University
Stefan NEUWIRTH Université de Franche-Comté
Ming NG Queen Mary University of London
Elena NOGINA City University of New York
Fredrik NORDVALL FORSBERG University of Strathclyde
Nicola OLIVETTI Aix-Marseille Université
Eugenio ORLANDELLI University of Bologna
Iosif PETRAKIS Ludwig Maximilians-University of Munich
Thomas POWELL University of Bath
Philipp PROVENZANO Ghent University
Davide RINALDI University of Padua
Gabriel SAADIA Stockholm University
Luigi SANTOCANALE Aix-Marseille Université
Christian SATTLER Chalmers University of Technology
Peter SCHUSTER University of Verona
Helmut SCHWICHTENBERG Ludwig Maximilians-University of Munich
Lukas STOLL University of Augsburg
Andrew SWAN Carnegie Mellon University
Ivan TOMASIC Queen Mary University of London
Tarmo UUSTALU Reykjavik University
Lionel VAUX AUCLAIR Aix-Marseille Université
Steve VICKERS University of Birmingham
David WÄRN University of Gothenburg
Chuangjie XU SonarSource
Ihsen YENGUI University of Sfax
Max ZEUNER Stockholm University