Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Compétition VerifyThis@ETAPS2015 de vérification de programmes: 2 prix!
Compétition VerifyThis@ETAPS2015 de vérification de programmes: 2 prix!
Compétition VerifyThis@ETAPS2015 de vérification de programmes: 2 prix! 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/
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