Published on 27 February 2025

Thierry Coquand

Computer Sciences and Digital Technologies
2024 - 2025
News

Type theory, from Russell to demonstration assistants

Press release

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

Latest associated news

All news

Sticky news

The ship in the storm: an example of the permanence of Roman law

Conference on June 5 2026
Published on 22 May 2026

Sticky news

Marc Bloch from our present

An Entre-Temps event at the Théâtre de la Concorde on June 11 2026
Published on 15 May 2026

Sticky news

Chemistry grapples with eternal pollutants

Spotlight
Published on 11 May 2026

Sticky news

On the value of lives

Conference, May 28 2026 at Cnam
Published on 5 May 2026

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

Centenary of Michel Foucault's birth

Published on 22 April 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