Skip to main content
The English version of this website is provided through automatic translation.

Quick access

  • Events
  • Audios & videos
  • Chaires
  • FR
  • FR

Navigation principale

  • Public lectures
    • Agenda
    • Audio & video
    • Current chairs
    • Special events
    • Guest lecturers
    • All public lectures
  • Research
  • Libraries
  • Publishing
  • Le Collège de France
    • The Collège and its history
    • The chairs
    • Awards
    • Special events
    • Special initiatives
    • Digital resources
    • The Collège de France Foundation
    • The Hugot Foundation
    • PSL University
    • Doctoral studies
    • Working at the Collège de France
    • News
    • Visiting the Collège de France

Quick access

  • Events
  • Audios & videos
  • Chaires
Thierry Coquand
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
  • Copy url
  • 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

Symposium

Formalizing mathematics and dependent types

Thierry Coquand
Extrait de code montrant une formalisation en Lean du théorème de Kronecker-Weber. Si K est un corps de nombres normal sur Q avec un groupe de Galois abélien, alors K est contenu dans un corps cyclotomique
02 Jun 2025
02 Jun 2025

Breadcrumb

  1. Home
  2. The Collège
  3. The chairs
  4. Annual Chairs
  5. Computer Sciences and Digital Technologies Annual Chair
  6. Thierry Coquand, chair Computer Sciences and Digital Technologies
  7. Public lectures

Shortcuts

  • Agenda
  • Audio & video
  • Podcasts
  • News
  • Press & logo kit
  • The Collège in 10 questions
  • Doctoral studies
  • Working at the Collège de France
  • Public procurement
  • Newsletter
  • Visit the Collège de France
  • Patrons and donors

Our websites

  • Intranet
  • Omnia
  • Salamandre
  • 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

Footer menu

  • Location and contact
  • Legal notice
  • Credits
  • Accessibility: not-compliant