News

4 news

Active filters

Reducing complexity to master mathematical problem solving
Yvon Maday, chair Computer Sciences and Digital Technologies

Published on 29 January 2026

Type theory, from Russell to demonstration assistants
Thierry Coquand, chair Computer Sciences and Digital Technologies

Published on 27 February 2025

Teaching languages to machines
Benoît Sagot, chair Computer Sciences and Digital Technologies

Published on 13 November 2023

Reimagining our interactions with the digital world
Wendy Mackay, chair Computer Sciences and Digital Technologies

Published on 8 February 2022