The chair Biography and publications Public lectures Audios and videos News 1 series Filters Event type Event type Lecture (1) Symposium (1) (-) Opening lecture (1) Academic year Academic year 2024 - 2025 (1) Active filters Opening lecture 2024 - 2025 Opening lecture 18:00 - 19:00 Type theory, from Russell to demonstration assistants Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00
