Compétition VerifyThis@ETAPS2015 de vérification de programmes: 2 prix! 15 avril 2015 À la compétition VerifyThis@ETAPS2015: - le prix de la meilleure équipe est allé à l'équipe Why3: Jean-Christophe Filliâtre et Guillaume Melquiond - un prix de la meilleure fonctionnalité pour les utilisateurs va à Why3 pour sa bibliothèque de lemmes
VerifyThis est une compétition de vérification de programmes, dont l'édition 2015 a eu lieu à la conférence European Joint Conferences on Theory and Practice of Software (ETAPS 2015) le 12 avril 2015 à Londres, Royaume-Uni. C'était la quatrième édition. Le prix de la meilleure équipe est allé à l'équipe Why3: Jean-Christophe Filliâtre et Guillaume Melquiond. Un des deux prix de la meilleure fonctionnalité pour les utilisateurs va à Why3 pour sa bibliothèque de lemmes (comme montré par son utilisation lors de la compétition). Pour en savoir plus: http://etaps2015.verifythis.org/

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