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

Gabriele BURIOLA University of Verona
Felix CHERUBINI University of Gothenburg and Chalmers University of Technology
Thierry COQUAND University of Gothenburg
Tom DE JONG University of Nottingham
Giulio FELLIN University of Verona
Henri LOMBARDI Université de Franche-Comté
Maria Emilia MAIETTI Universita degli Studi di Padova, Dipartimento di Matematica
Sara NEGRI University of Genoa
Stefan NEUWIRTH Université de Franche-Comté
Iosif PETRAKIS University of Verona
Elaine PIMENTEL UCL
Emily RIEHL Johns Hopkins University
Talia RINGER (visio) University of Illinois Urbana-Champai
Peter SCHUSTER University of Verona
Benno VAN DEN BERG University of Amsterdam
Lionel VAUX AUCLAIR Aix-Marseille Université