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

Thierry Coquand

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

Type theory, from Russell to demonstration assistants

Press release
Display the full size picture: 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

Collège de France : get to know... Laurent Coulon !

June 20 2026 at the Marguerite Duras multimedia library
Published on 28 April 2026

Sticky news

Circulaire/Jeanne Barret association (Maan for Gaza Artists collective), Collège de France and Palestinian artists sue for libel

Published on 23 April 2026

Sticky news

Centenary of Michel Foucault's birth

Published on 22 April 2026

Sticky news

Conference " Prehistory : between utopia and reality "

May 7 2026, 6 to 7 p.m
Published on 22 April 2026

Sticky news

Publication of the opening lecture by Pr Pascale Senellart-Mardon

Print edition
Published on 8 April 2026

Sticky news

Publication of the closing lecture by Pr François Héran

Print edition
Published on 27 March 2026

Sticky news

Publication of the children's book J'ai rêvé de Préhistoire 

Print edition
Published on 25 March 2026

Sticky news

Publication of the exhibition catalog Prehistory : between utopia and reality 

Print edition
Published on 25 March 2026

Breadcrumb

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

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