Synthetic mathematics, logic-affine computation and efficient proof systems
8-12 September, 2025

Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients
8-12 Septembre, 2025

Jessica Allegro University of Verona
Mohamed Barakat University of Siegen
Victoria Barrett Inria Saclay
Thibaut Benjamin University of Cambridge
Ingo Blechschmidt University of Antwerp
Jean-Jacques Brahim Aix-Marseille Université
Nuria Brede none
Gabriele Buriola University of Verona
Félix Castro Université de Paris
El Mehdi Cherradi IRIF, CNRS
Felix Cherubini University of Gothenburg and Chalmers University of Technology
Liron Cohen Ben-Gurion University of the Negev
Thierry Coquand University of Gothenburg
Tom De Jong University of Nottingham
Jacopo Emmenegger University of Genova
Giulio Fellin University of Verona
Laura Fontanella Université Paris Est Créteil
Yannick Forster Inria Paris
Jonas Frey Université Sorbonne Paris Nord
Jacopo Furlan Université Sorbonne Paris Nord
Luis Gambarte Ludwig-Maximilians-University Munich
Sina Hazratpour Stockholm University
Hugo Herbelin CNRS IRIF - Université Paris Cité
Jonas Höfer University of Gothenburg
Joost Joosten University of Barcelona
Dominik Kirst Inria Paris
Ryota Kuroki University of Tokyo
Lorenzo Lipparini University of Bologna
Henri Lombardi Université de Franche-Comté
Peter Lefanu Lumsdaine Stockholm University
Valentin Maestracci Aix-Marseille Université
Maria Emilia Maietti Universita degli Studi di Padova, Dipartimento di Matematica
Alexis Miller ENS Lyon
Étienne Miquey Aix-Marseille Université
Hugo Moeneclaey University of Gothenburg
Sara Negri University of Genoa
Stefan Neuwirth Université de Franche-Comté
Ming Ng Nagoya University
Nicola Olivetti LIS, AMU
Pierre-Marie Pédrot INRIA
Iosif Petrakis University of Verona
Nima Rasekh University of Greifswald
Emily Riehl Johns Hopkins University
Davide Rinaldi Nokia Bell Labs
Talia Ringer (visio) University of Illinois Urbana-Champaign
Gabriel Saadia Stockholm University
Florent Schaffhauser Heidelberg University
Quentin Schroeder LIPN
Peter Schuster University of Verona
Alex Simpson University of Ljubljana
Vincent Sommella University of Sussex
Benno Van Den Berg University of Amsterdam
Lionel Vaux Auclair Aix-Marseille Université
Jonathan Weinberger Chapman University
Ihsen Yengui University of Sfax
Errol Yuksel Stockholm University