Skip to main content

The English version of this website is provided through automatic translation.

Search

Quick access

Agenda
Audio & video
Chairs

FR

FR

Navigation principale

Public lectures
Research
Libraries
Publishing
Le Collège de France

Quick access

Agenda
Audio & video
Chairs

Thierry Coquand

Public lectures

Computer Sciences and Digital Technologies

Chair menu

The chair
Biography and publications
Public lectures
Audios and videos
News

Apple Podcasts
Spotify
Flux RSS Podcasts
News RSS
Audio-visual RSS

Facebook
LinkedIn
Bluesky
Threads

The chair
Biography and publications
Public lectures
Audios and videos
News

1 series

Filters

Event type

Lecture (1)
(-) Symposium (1)
Opening lecture (1)

Academic year

2024 - 2025 (1)

Event type

Lecture (1)
(-) Symposium (1)
Opening lecture (1)

Academic year

2024 - 2025 (1)

Active filters

Symposium

2024 - 2025

Formalizing mathematics and dependent types

Thierry Coquand

Breadcrumb

Home
The Collège
The chairs
Annual Chairs
Computer Sciences and Digital Technologies Annual Chair
Thierry Coquand, chair Computer Sciences and Digital Technologies
Public lectures

Shortcuts

Calendar
Audio & video
Podcasts
Actualités
Newsletter
500 years of the Collège de France
Press and logo kit
Doctoral studies
Working at the Collège de France
Public procurement
Visit the Collège de France
Patrons and donors

Our websites

Intranet
Omnia
Salamander
Colligere
Collège de France Foundation
PAUSE program
Avenir Commun Durable
La Vie des idées
Campus de l'innovation pour les lycées

Subscribe to our newsletter

Follow us

Donate

Legal informations

Location and contact
Legal notice
Credits
Accessibility: not-compliant