Logic List Mailing Archive

CfR: CIRM Conference "Synthetic mathematics/ logic-affine computation and efficient proof systems", 8-12 September 2025, Marseille Luminy (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 Mathmatiques, 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 Crteil)
Joost Joosten (Universitat de Barcelona)
Dominik Kirst (INRIA)
Etienne Miquey (I2M)
Pierre-Marie Pdrot (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