Architecture and Formalization of Mathematics

We are excited to announce our upcoming conference, Architecture and Formalization of Mathematics. This event is a collaboration between the University of Chicago, the CNRS and the Université Paris Cité, and will be held at the University of Chicago Center in Paris on June 4th and 5th, 2026. 

The theme of this conference is inspired by the recent wave of formalization in mathematics and its broader implications for the field. We are specifically interested in how modern formalization compares to historical attempts to understand the structure and unity of mathematics; the new research programs that formalization generates; and the challenges and opportunities created by the emergence of vast databases of formalized mathematics. Our theme takes as its keywords "Architecture"—the structure and organization of mathematics and its branches—and "Formalization" — with its pursuit of standards, foundations, and universal languages. We aim to pair contemporary perspectives from the formalization community with insights from the history and philosophy of mathematics.   

Best wishes,

The conference organizers  

Kevin Davey ([email protected])

Brice Halimi ([email protected])

Stefanos Jones ([email protected])