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
Le projet Sanctuary - Le LRI à l'honneur au journal télévisé Soir 3
16 mai 2019
Les travaux de l'équipe HCC/ILda - projet Sanctuary - passent à Soir 3.

Une expédition sur la Lune pour les 50 ans d'Apollo 11.

Martin Clochard reçoit le prix de thèse GDR GPL 2018
15 mai 2019
Martin Clochard a reçu le prix GDR GPL 2018 (http://gdr-gpl.cnrs.fr/node/361) pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels" .

Wanyu "Abby" Liu reçoit le 1er prix de thèse de Télécom ParisTech
05 avril 2019
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Télécom ParisTech, a reçu le premier prix de thèse de Télécom ParisTech pour sa thèse intitulée "La théorie de l'information comme outil unifié pour comprendre l'interaction humain-machine".