3377 - conferences.cirm-math.fr (original) (raw)
CONFERENCE
Synthetic mathematics, logic-affine computation and efficient proof systems
Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients
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.
Les cadres synthétiques se sont révélés être des outils essentiels à l’interface des mathématiques et de l’informatique, permettant notamment des formalisations concises et des systèmes de preuve sur mesure. Les réalisations remarquables incluent la théorie homotopique des types, la théorie synthétique de la calculabilité et la géométrie algébrique synthétique. Des paradigmes très similaires caractérisent les domaines connexes de l’algèbre et de la géométrie computationnelles, guidées par la logique, les modèles de faisceaux et la théorie moderne de la réalisabilité, ainsi que la négation forte pour raisonner de manière constructive avec des informations négatives. Des approches opposées mais complémentaires sont sur le point de converger, soulignant l’impératif d’unifier les bases théoriques avec une implémentation pratique. Avec le séminaire proposé, nous visons à étendre et approfondir la convergence à travers les frontières disciplinaires en favorisant l’échange d’idées et la collaboration entre experts et praticiens.
SPONSORS
Under the supervision of the French Mathematical Society, CNRS, Aix-Marseille University, with the solid support of the Ministry of Higher Education and Research, LabEx Carmin and Archimede Institute, Cirm has been, for more than 40 years, a tool of excellence at the service of the French school of mathematics and researchers from all over the world. With more than 4500 participants each year, it is one of the world’s leading meeting centers in mathematics. Its International Scientific Council ensures the quality of the meetings organized and selects the beneficiaries of the Jean Morlet Chair semesters. The high scientific level and the high quality of the services provided by the Cirm make it internationally attractive and influential.
COMING TO CIRM
CIRM, 163 avenue de Luminy, Case 916
13288 Marseille cedex 9, FRANCE