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

Quick access

  • Agenda
  • Audio & video
  • Chairs
  • FR
  • FR

Navigation principale

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

Quick access

  • Agenda
  • Audio & video
  • Chairs
Thierry Coquand
Thierry Coquand

News

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
Couverture de l'édition imprimée de la leçon inaugurale du Pr Thierry Coquand

Publication of the inaugural lecture by Professor Thierry Coquand

Print edition
Published on 18 March 2026
Thierry Coquand in front of a board full of mathematical formulas

Type theory, from Russell to demonstration assistants

Press release
Published on 27 February 2025
Thierry Coquand

Building mathematical proofs

Thierry Coquand
Published on 10 February 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. News

Shortcuts

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

Footer menu

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