2 Jun 2025 10:00 - 10:05 Symposium Introduction Thierry Coquand Formalizing mathematics and dependent types 2 Jun 2025 10:00 - 10:05 Share Facebook LinkedIn Bluesky Threads Copy url Audio-visual RSS
Monday 2 June 2025 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 10:00 - 10:05 Add this event to my calendar iCalendar (.ics) Google Calendar Microsoft Outlook.com Office 365 Yahoo! Calendar Speaker(s) Thierry Coquand Professor of Computer Science, University of Gothenburg, Sweden Events Previous Symposium 2 Jun 2025 10:00 - 10:05 Thierry Coquand Introduction Symposium 2 Jun 2025 10:05 - 10:45 Antoine Chambert-Loir On the formalization of divided powers Symposium 2 Jun 2025 11:00 - 11:45 Assia Mahboubi Formal evidence mutatis mutandis Symposium 2 Jun 2025 14:00 - 14:45 Pierre-Marie Pedrot Foundations? Symposium 2 Jun 2025 15:30 - 16:15 Riccardo Brasca Recent Progress in the Formalization of Number Theory Symposium 2 Jun 2025 16:30 - 17:15 Denis-Charles Cisinski The logic of higher category theory Symposium 2 Jun 2025 17:15 - 17:20 Thierry Coquand Conclusion Next See also Thierry Coquand, chair Computer Sciences and Digital Technologies Formalizing mathematics and dependent types
Symposium 2 Jun 2025 15:30 - 16:15 Riccardo Brasca Recent Progress in the Formalization of Number Theory
