Formalization and Architecture of Mathematics
Schedule
Thu, 04 Jun, 2026 at 09:30 am to Fri, 05 Jun, 2026 at 05:30 pm
UTC+02:00Location
University of Chicago John W Boyer Center in Paris | Paris, IL
About this Event
Conference exploring the formalization of mathematics, its structure, history, philosophy, and emerging research challenges.
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 pair contemporary perspectives from the formalization community with insights from the history and philosophy of mathematics. FREE and OPEN TO THE PUBLIC
Where is it happening?
University of Chicago John W Boyer Center in Paris, 41 Rue des Grands Moulins, Paris, FranceEvent Location & Nearby Stays:
USD 0.00
