Coq reçoit le ACM Software System Award, parmi ses développeurs Christine Paulin et Jean-Christophe Filliâtre 21 juin 2014 L'assistant à la preuve Coq dont l'équipe Vals-Toccata a été l'un des acteurs majeurs pour l'établissement de ses fondements théoriques et son développement, a reçu le très prestigieux 2013 ACM Software System Award.
ACM présentera les  2013 Software System Award au banquet annuel des remises de récompenses, le 21 juin prochain.  C'est la première fois depuis 40 ans qu'une équipe française reçoit ce prix ! Pour en savoir plus: http://awards.acm.org/software_system/

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