The chair Biography and publications Public lectures Audios and videos News 2 series Filters Event type Event type (-) Lecture (1) (-) Symposium (1) Opening lecture (1) Academic year Academic year 2024 - 2025 (2) Active filters Lecture Symposium 2024 - 2025 Dependent type theory and mathematical formalization Thierry Coquand 17 Mar 2025 → 19 May 2025 Lecture 17 Mar 2025 → 19 May 2025 Formalizing mathematics and dependent types Thierry Coquand 02 Jun 2025 Symposium 02 Jun 2025
