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
Nature reports on TrackML
21 June 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

Michèle Sebag was elected member of the French Academy of technology
13 April 2018
Michele Sebag, Research Director of CNRS and Vice director of LRI, was elected member of the French Academy of technologies:

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