Logic List Mailing Archive

CfR: Synthetic mathematics, logic-affine computation and efficient proof systems, 8–12 September 2025, Marseille (France)

Call for preregistration (i.e. application for participation)

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

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

https://conferences.cirm-math.fr/3377.html

---

Preregistration (i.e. application for participation) will be open until 
18th May 2025:

https://www.cirm-math.fr/preRegistration/index.php?EX=menu0&id_renc=3377

For the rates of full-board accommodation please see

https://www.cirm-math.com/prices.html

*Beware!* Registration will be definitive only after receiving 
confirmation. In due time after the preregistration deadline of 18th May 
2025 the organising committee will inform the preregistered applicants 
whether or not their application is approved.

Potential participants in need for partial financial support may apply 
by 18th May 2025 for one of the few accommodation bursaries, by writing 
an email with good motivation to:

 ?? ?giulio.fellin @ outlook.it

Notification about applications for accommodation bursaries will be 
given together with the one for participation. *No support at all is 
available for travel expenses. *

---

Conference summary:

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.

---

Invited speakers (preliminary list):

Ulrik Buchholtz (University of Nottingham)
Laura Fontanella (Universit? Paris Est Cr?teil)
Joost Joosten (Universitat de Barcelona)
Dominik Kirst (INRIA)
Etienne Miquey (I2M)
Pierre-Marie P?drot (INRIA)
Emily Riehl (Johns Hopkins University)
Talia Ringer (University of Illinois Urbana-Champaign)
Alex Simpson (University of Ljubljana)

---

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)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php