Actualités

4 actualités

Filtres actifs

Réduire la complexité pour maîtriser la résolution des problèmes mathématiques
Yvon Maday, chaire Informatique et sciences numériques

Publié le 29 janvier 2026

La théorie des types, de Russell aux assistants à la démonstration
Thierry Coquand, chaire Informatique et sciences numériques

Publié le 27 février 2025

Apprendre les langues aux machines
Benoît Sagot, chaire Informatique et sciences numériques

Publié le 13 novembre 2023

Réimaginer nos interactions avec le monde numérique
Wendy Mackay, chaire Informatique et sciences numériques

Publié le 08 février 2022