Publié le 27 février 2025

Thierry Coquand

Informatique et sciences numériques
2024 - 2025
Actualité

La théorie des types, de Russell aux assistants à la démonstration

Communiqué de presse

Thierry Coquand, invité à occuper la chaire annuelle Informatique et sciences numériques, prononcera sa leçon inaugurale le 13 mars 2025.

Documents et médias

Dernières actualités associées

Toute l'actualité

Actualité épinglée

Collège de France : faire connaissance... avec Laurent Coulon !

Le 20 juin 2026 à la médiathèque Marguerite Duras
Publié le 28 avril 2026

Actualité épinglée

L'association Circulaire/Jeanne Barret (collectif Maan for Gaza Artists), le Collège de France et des artistes palestiniens portent plainte pour diffamation

Publié le 23 avril 2026

Actualité épinglée

Centenaire de la naissance de Michel Foucault

Publié le 22 avril 2026

Actualité épinglée

Conférence « Préhistoire : entre utopie et réalité »

Le 7 mai 2026 à 18h
Publié le 22 avril 2026

Actualité épinglée

Parution de la leçon inaugurale de la Pr Pascale Senellart-Mardon

Édition imprimée
Publié le 08 avril 2026

Actualité épinglée

Parution de la leçon de clôture du Pr François Héran

Édition imprimée
Publié le 27 mars 2026

Actualité épinglée

Parution du livre jeunesse « J'ai rêvé de Préhistoire »

Édition imprimée
Publié le 25 mars 2026

Actualité épinglée

Parution du catalogue d'exposition « Préhistoire : entre utopie et réalité »

Édition imprimée
Publié le 25 mars 2026