CIRM Conference "Synthetic mathematics, logic-affine computation and efficient proof systems"

Synthetic mathematics, logic-affine computation and efficient proof systems

CIRM - Centre International de Rencontres Mathématiques, Marseille Luminy, France, 8-12 September 2025.

Synthetic frameworks have proved to be pivotal tools at the interface of mathematics and informatics, especially enabling concise formalizations and custom proof systems. Noteworthy achievements include homotopy type theory, synthetic computability theory, and synthetic algebraic geometry. Very similar paradigms characterize the related areas of logic-driven computational algebra and geometry, sheaf models and modern realizability theory, and strong negation for constructive reasoning with negative information. Contrasting yet complementary approaches are about to converge, emphasizing the imperative of unifying theoretical underpinnings with practical implementation. With the proposed seminar we aim to extend and deepen the convergence across disciplinary boundaries by fostering exchange and collaboration among experts and practitioners.

Scientific Committee:
- Andrej Bauer (University of Ljubljana)
- Olivia Caramello (IHES)
- Maria Emilia Maietti (Universita degli Studi di Padova)
- Michael Rathjen (University of Leeds)

Organising Committee:
- Ingo Blechschmidt (University of Augsburg)
- Liron Cohen (Ben-Gurion University of the Negev)
- Thierry Coquand (University of Gothenburg)
- Sara Negri (University of Genoa)
- Peter Schuster (University of Verona)

More details will be available on the conference website.