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

Mohamed Barakat University of Siegen
Victoria Barrett Inria Saclay
Ingo Blechschmidt University of Padova
Nuria Brede University of Potsdam
Ulrik Buchholtz TU Darmstadt
Gabriele Buriola University of Verona
Félix Castro Université de Paris Cité
El Mehdi Cherradi IRIF Paris
Felix Cherubini Chalmers University of Technology
Liron Cohen Ben-Gurion University of the Negev
Sophie D'espalungue IRIF Paris
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é Paris 13
Luis Gambarte Ludwig-Maximilians-University Munich
Han Gao Aix-Marseille Université
Freek Geerligs University of Gothenburg
Hugo Herbelin INRIA, Rocquencourt-Paris
Jonas Höfer University of Gothenburg
Joost Joosten University of Barcelona
Ryota Kuroki University of Tokyo
Lorenzo Lipparini University of Bologna
Henri Lombardi Université de Franche-Comté
Peter Lefanu Lumsdaine Stockholm University
Maria Emilia Maietti University of Padova
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
Pierre-Marie Pédrot INRIA
Iosif Petrakis University of Verona
Emily Riehl Johns Hopkins University
Davide Rinaldi Nokia Bell Labs
Sara Rousta Utrecht University
Quentin Schroeder Université Paris 13
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