BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T022253Z
DTSTART;TZID=Europe/Paris:20260406T000000
DTEND;TZID=Europe/Paris:20260406T000000
SUMMARY:Architecture and Formalization of Mathematics
UID:20260425T010426Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
TZID:Europe/Paris
LOCATION:University of Chicago Boyer Paris Center\, Paris\, France\, 75013
DESCRIPTION:<p>We are excited to announce a call for abstracts&nbsp\;for our upcoming conference\,&nbsp\;<strong>Architecture&nbsp\;and Formalization of Mathematics.&nbsp\;</strong>This event is a collaboration between the University of Chicago\, the CNRS and the Universit&eacute\; Paris Cit&eacute\;\, and will be held at the University of Chicago Center&nbsp\;in Paris&nbsp\;on&nbsp\;<strong>June 4th and 5th\, 2026.</strong></p>\n<p>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"&mdash\;the structure and organization of mathematics and its branches&mdash\;and "Formalization" &mdash\; 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\, and so are interested in contributions from any of these areas.&nbsp\; &nbsp\; Speakers will have one hour to give their remarks\, followed by thirty minutes for discussion and questions. All conference proceedings will be in English. Presentations will include a mix of invited and accepted talks. There will be no fees for attendance or participation.&nbsp\; &nbsp\;</p>\n<p>Interested contributors should submit a 300 to 500-word abstract of their presentation via the following form&nbsp\;<strong>by the end of April 5th\, 2026.</strong></p>\n<p>Link to form:&nbsp\;<strong>https://forms.gle/nBCKT5ruMYcGzQPa8</strong> &nbsp\;</p>\n\n<p>Best wishes\, &nbsp\;&nbsp\;</p>\n<p>The conference organizers &nbsp\;</p>\n<p>Kevin Davey (kdavey@uchicago.edu)</p>\n<p>Brice Halimi (brice.halimi@u-paris.fr)</p>\n<p>Stefanos Jones (stefanosjones@uchicago.edu)</p>
ORGANIZER;CN=Kevin Davey:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR