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
    • Audios & vidéos
    • 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
    • La Fondation du Collège de France
    • The Hugo Foundation
    • PSL University
    • Formation doctorale
    • Working at the Collège de France
    • News
    • Visiting the Collège de France

Quick access

  • Events
  • Audios & videos
  • Chaires
02 Jun 2025
Symposium

Formalizing mathematics and dependent types

02 Jun 2025
  • Facebook
  • Linkedin
  • Copy url
Monday 2 June 2025
See also:
  • Thierry Coquand
  • iCalendar (.ics)
  • Google Calendar
  • Microsoft Outlook.com
  • Office 365
  • Yahoo! Calendar

Program

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

See also

Thierry Coquand, chair Computer Sciences and Digital Technologies

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
  8. Formalizing mathematics and dependent types

Shortcuts

  • Agenda
  • Audio & video
  • 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
  • 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