Share Facebook LinkedIn Bluesky Threads Copy url News RSS News Search Sort from the newest to the oldest from the newest to the oldest from the oldest to the newest by relevance 3 news Filters Publication date Publication date From To Apply Categories Categories Collège de France (9) (-) Press release (3) Research (1) Public lectures (52) Publications (7) Chairs Chairs Search a professor or a chair Areas Areas (-) Mathematics and computer sciences (3) Physics and chemistry (5) Earth and space sciences (2) Life sciences (8) History and archeology (8) Letters, arts, language, philosophy (7) Social sciences (8) Active filters Press release Mathematics and computer sciences Sort from the newest to the oldest from the newest to the oldest from the oldest to the newest by relevance 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
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
