Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Prix Michel Monpetit de l'Académie des Sciences
Prix Michel Monpetit de l'Académie des Sciences
Prix Michel Monpetit de l'Académie des Sciences 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.
News
Disparition de Yannis Manoussakis
06 juin 2021
Nous venons d'apprendre la disparition de Yannis Manoussakis, Professeur à l'Université Paris-Saclay, est 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