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
SWERC 2019-2020
25 janvier 2020
Trois membres du LRI contribuent à l'organisation du SWERC 2019-2020

Wendy Mackay nommée ACM Fellow
19 janvier 2020
pour ses contributions à l'Interaction Humain-Machine et son leadership au sein de l'ACM SIGCHI

Prix de stage de recherche de l'École polytechnique
19 novembre 2019
Quentin Soubeyran a reçu le prix de stage de recherche de l'École polytechnique pour son travail au LRI dans l'équipe Systèmes Parallèles.