[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://conferences.cirm-math.fr/3377.html__;!!IBzWLUs!UMCh4-U3Ip16ylHPBuPx0sDgsNn6dUXzBU5tmC5eKVpSBDQBgDpceHkNfrA_2tNTXi-1rY-V1I2fryy2-HYjAtkOt8rXVuE$
<https://urldefense.com/v3/__https://protect.checkpoint.com/v2/r02/___https:/*conferences.cirm-math.fr/3377.html___.YzJlOmJlbmd1cmlvbnVuaXZlcnNpdHlvZnRoZW5lZ2V2OmM6bzo5NzNhOGU4ZWMyZDFlMThjNzU1N2JkMmRlMDdiZjcyZTo3OjQ5MmE6ODg4ZmY2ODFlOWQwODQ2YzZlMDU4ZGE4MDIzYjA1NzAyYmU3MTVlYmZkMjI1YTBhMDNhOWZmODczOTY3ZmVhYzpoOlQ6Tg__;Lw!!IBzWLUs!UMCh4-U3Ip16ylHPBuPx0sDgsNn6dUXzBU5tmC5eKVpSBDQBgDpceHkNfrA_2tNTXi-1rY-V1I2fryy2-HYjAtkO-0W6AiQ$
>
---
Preregistration (i.e. application for participation) will be open until 18th
May 2025:
https://urldefense.com/v3/__https://www.cirm-math.fr/preRegistration/index.php?EX=menu0&id_renc=3377__;!!IBzWLUs!UMCh4-U3Ip16ylHPBuPx0sDgsNn6dUXzBU5tmC5eKVpSBDQBgDpceHkNfrA_2tNTXi-1rY-V1I2fryy2-HYjAtkOGMfG7iM$
<https://urldefense.com/v3/__https://protect.checkpoint.com/v2/r02/___https:/*www.cirm-math.fr/preRegistration/index.php?EX=menu0&id_renc=3377___.YzJlOmJlbmd1cmlvbnVuaXZlcnNpdHlvZnRoZW5lZ2V2OmM6bzo5NzNhOGU4ZWMyZDFlMThjNzU1N2JkMmRlMDdiZjcyZTo3OjUyNmI6OTM0NmMzOTlkOTgwNGM3ZWIyYWI5Y2RlZjc1YmZkMzIwYjkyZmYyZjI2NjVlZmNhMTcxNGU5MDc0ZWUzOTY5NjpoOlQ6Tg__;Lw!!IBzWLUs!UMCh4-U3Ip16ylHPBuPx0sDgsNn6dUXzBU5tmC5eKVpSBDQBgDpceHkNfrA_2tNTXi-1rY-V1I2fryy2-HYjAtkOZFy32iQ$
>
For the rates of full-board accommodation please see
https://urldefense.com/v3/__https://www.cirm-math.com/prices.html__;!!IBzWLUs!UMCh4-U3Ip16ylHPBuPx0sDgsNn6dUXzBU5tmC5eKVpSBDQBgDpceHkNfrA_2tNTXi-1rY-V1I2fryy2-HYjAtkOamphgPY$
<https://urldefense.com/v3/__https://protect.checkpoint.com/v2/r02/___https:/*www.cirm-math.com/prices.html___.YzJlOmJlbmd1cmlvbnVuaXZlcnNpdHlvZnRoZW5lZ2V2OmM6bzo5NzNhOGU4ZWMyZDFlMThjNzU1N2JkMmRlMDdiZjcyZTo3OjljYzI6MTkxN2Q3YThiOWNlYzk0YmM0NWM2Njg4ZWY3NWQ1NTliYmRjMTk4NzE3YjE4OWVjOTMxZDZkN2M0OWY0ZTQxYzpoOlQ6Tg__;Lw!!IBzWLUs!UMCh4-U3Ip16ylHPBuPx0sDgsNn6dUXzBU5tmC5eKVpSBDQBgDpceHkNfrA_2tNTXi-1rY-V1I2fryy2-HYjAtkON8UY5W0$
>
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)
