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
Published on 27 February 2025
Press release
Thierry Coquand

Thierry Coquand

Computer Sciences and Digital Technologies
2024 - 2025
  • Facebook
  • LinkedIn
  • Bluesky
  • Threads
  • Copy url
  • News RSS
News

Type theory, from Russell to demonstration assistants

Press release
Thierry Coquand devant un tableau rempli de formules mathématiques

Thierry Coquand, invited to hold the Computer Sciences and Digital Technologies Annual Chair, will give his opening lecture on March 13  2025.

Documents and media

  • Download the press release
    pdf (200.44 KB)
  • Read the article "Building mathematical proofs"

Latest associated news

All news

Sticky news

Expression d’un « gène des doigts » dans une nageoire de poisson

Do fish have fingers? 

Published on 18 September 2025

Sticky news

Gravure d’un homme âgé barbu tenant un stéthoscope autour du cou, sur fond brun texturé

How we evolved to die healthy

Daniel Lieberman's lecture series, October 3 to 31, 2025
Published on 17 September 2025

Sticky news

Stéphane Mallat

Mathematician Stéphane Mallat awarded the 2025 CNRS Gold Medal

Published on 12 September 2025

Sticky news

Collège de France : faire connaissance avec Wajdi Mouawad

Collège de France : get to know... Wajdi Mouawad !

October 8 2025 at the Marguerite Duras multimedia library
Published on 8 September 2025

Sticky news

La cour Letarouilly. Vue du site Marcelin-Berthelot depuis la Sorbonne

Key dates for the 2025-2026 academic year at Collège de France

Press release
Published on 8 September 2025

Sticky news

Françoise Combes

Collège de France : get to know... Françoise Combes !

October 9 2025 at the Bibliothèque historique de la Ville de Paris
Published on 3 September 2025

Sticky news

Peinture abstraite avec formes géométriques colorées sur fond texturé.

Orsay as seen by the Collège de France - Stanislas Dehaene and Claire Bernardi

January 7, 2026
Published on 29 August 2025

Sticky news

Deux personnes discutant devant un tableau

Orsay as seen by the Collège de France - Henry Laurens and Laure Chabanne

December 10, 2025
Published on 29 August 2025

Breadcrumb

  1. Home
  2. Press
  3. News
  4. Type theory, from Russell to demonstration assistants

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