Français Anglais
Accueil Annuaire Plan du site
Home > News du laboratoire > VerifyThis@ETAPS2015 Verification Competition: 2 awards!
About LRI
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
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
Goerge manoussakis got the prize Charles Delorme 2018
18 September 2018

Nature reports on TrackML
21 January 2018
Can machine learning assist high energy physics in discovering and characterizing new particles? TAO participates in the organization of the TrackML challenge with CERN. The second phase of the competition will use Codalab.

A newspaper article from Isabelle Guyon
19 March 2018
Link to the paper:
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html