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
Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html

Michèle Sebag a été élue membre de l'Academie des Technologies
13 avril 2018
Michèle Sebag, DR CNRS et Directrice Adjointe du LRI, a été élue membre de l'Academie des Technologies

https://www.academie-technologies.fr/members/454-michele-sebag

Lin Chen a reçu la médaille de bronze du CNRS
27 mars 2018
Lin Chen, membre de l'équipe GALAC (https://www.lri.fr/~chen/) a reçu la médaille de bronze du CNRS. Ses principaux travaux de recherche portent sur la modélisation, l'analyse théorique, et la conception des algorithmes et protocoles distribués innovants