Français Anglais
Accueil Annuaire Plan du site
Home > News du laboratoire > VerifyThis@ETAPS2015 Verification Competition: 2 awards!
VerifyThis@ETAPS2015 Verification Competition: 2 awards!
VerifyThis@ETAPS2015 Verification Competition: 2 awards! VerifyThis@ETAPS2015 Verification Competition: 2 awards!
15 April 2015

At the VerifyThis@ETAPS competition,
- the best team award goes to the team Why3: Jean-Christophe Filliâtre and Guillaume Melquiond
- one of the two the distinguished user-assistance tool feature awards goes to the Why3 tool for the lemma library

VerifyThis is a program verification competition, whose 2015 edition took place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015) on April 12th, 2015 in London, UK. It is the 4th event in the VerifyThis competition series.

The best team award goes to the team Why3: Jean-Christophe Filliâtre and Guillaume Melquiond.

One of the two distinguished user-assistance tool feature goes to Why3 for the lemma library (as demonstrated by its use in the competition).



Pour en savoir plus: http://etaps2015.verifythis.org/
News
Wanyu Liu is awarded the STIC Graduate School Ph.D. Student Award
1 December 2017
Wanyu "Abby" Liu, Ph.D. student in the HCC group at LRI and at Telecom, was awarded the first prize for her work on "BIGnav: Information Theory meets Human-Computer Interaction".

Wendy Mackay Doctor Honoris Causa of Aarhus University
15 September 2017
Wendy Mackay received on September 15, 2017, the title of Doctorem Scientarum Honoris Causa from Aarhus University in Denmark for her career and specifically for her work on interactive video, participatory design and mixed reality.

La Fête de la Science au LRI
13 October 2017
At the occasion of the Fête de la Science, the LRI welcomes school students on the 13th of october and the public on the 15th.