Thierry Coquand Public lectures Computer Sciences and Digital Technologies Public lectures Chair menu The chair Biography and publications Public lectures Audios and videos News Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcasts News RSS Audio-visual RSS Share Facebook LinkedIn Bluesky Threads Copy url
The chair Biography and publications Public lectures Audios and videos News Upcoming Previous Lecture 5 May 2025 10:00 - 11:00 Thierry Coquand Type theory models and the principle of univalence Lecture 12 May 2025 10:00 - 11:00 Thierry Coquand Eilenberg-MacLane spaces and cohomology Lecture 19 May 2025 10:00 - 11:00 Thierry Coquand Solution of the Voevodsky conjecture Symposium 02 Jun 2025 Thierry Coquand Formalizing mathematics and dependent types Next 1 series Filters Event type Event type Lecture (1) (-) Symposium (1) Opening lecture (1) Academic year Academic year 2024 - 2025 (1) Active filters Symposium 2024 - 2025 Symposium 09:00 - 18:00 Formalizing mathematics and dependent types Thierry Coquand 02 Jun 2025 Formalizing mathematics and dependent types Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Jun 2025 09:00 - 18:00
Symposium 09:00 - 18:00 Formalizing mathematics and dependent types Thierry Coquand 02 Jun 2025 Formalizing mathematics and dependent types Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Jun 2025 09:00 - 18:00
