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/

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

Lin Chen received the Bronze Medal from CNRS.
27 March 2018
Lin Chen received the Bronze Medal from CNRS. (http://www.cnrs.fr/en/research/awards/bronzemedals.htm)



The CNRS Bronze Medal recognizes a researcher's first work, which makes that person a specialist with talent in a particular field. This medal