Prix Michel Monpetit de l'Académie des Sciences 15 décembre 2015 A l'occasion du prix Michel Monpetit de l'Academie des Sciences décerné à Christine Paulin-Mohring, le CNRS revient sur le développement de l'assistant de preuves Coq et ses apports.
Pour en savoir plus: http://www.cnrs.fr/ins2i/spip.php?article1749

Disparition de Yannis Manoussakis
06 juin 2021
Nous venons d'apprendre la disparition de Yannis Manoussakis, Professeur à l'Université Paris-Saclay, décédé samedi 5 juin.

Il était le responsable de l'équipe GALaC et avait été de nombreuses années directeur du LRI, nous perdons un ami et un coll

Semaine du cerveau : Cerveau connecté
16 mars 2021
Laurence Devillers, chercheuse en Intelligence Artificielle et Ethique de l'IA et Michel Beaudouin-Lafon, chercheur en Interaction Humain-Machine exposent leurs points de vue dans la série de Podcats du CNRS à l'occasion de la semaine du Cerveau.

Wizard project
01 avril 2021
Innovation Area: Public Safety, IoT, Mobility