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
Wanyu Liu reçoit le Prix Doctorants de l'ED STIC
01 décembre 2017
Wanyu "Abby" Liu, doctorante de l'équipe HCC et de Telecom, reçoit le premier prix (ex aequo) pour ses travaux sur "BIGnav: Information Theory meets Human-Computer Interaction".

Wendy Mackay Docteur Honoris Causa de l'Université d'Aarhus
15 septembre 2017
Wendy Mackay a reçu le 15 septembre le titre de Doctorem Scientarum Honoris Causa de l'Université d'Aarhus (Danemark) pour l’ensemble de sa carrière, notamment ses travaux sur la vidéo interactive, la conception participative et la réalité mixte.

La Fête de la Science au LRI
13 octobre 2017
À l'occasion de la Fête de la Science, le LRI accueille les scolaires le 13 octobre et le grand public le 15 octobre.