Section: Highlights of the Year

Highlights of the Year

Awards

• C. Paulin-Mohring received the award “Michel Monpetit – Institut National de Recherche en Informatique et en Automatique” of the French Academy of Sciences (http://www.academie-sciences.fr/fr/Laureats/laureats-2015-prix-thematiques.html ).

• J.-C. Filliâtre and G. Melquiond received the “Best team” award of the VerifyThis@ETAPS2015 verification competition (http://verifythis2015.cost-ic0701.org/results ). The Why3 tool also received the “Distinguished user-assistance tool feature” award.

• The Concours Castor informatique (http://castor-informatique.fr/ ) had an even larger success than in the previous years. In November 2015, more than 345,000 teenagers from over 2280 schools participated and solved the interactive tasks of the contest. Arthur Charguéraud and Sylvie Boldo, from the Toccata team, significantly contributed to the prepation of the tasks and to the organization of the contest.