Awards

2022

Best Process-Mining Dissertation Award for Mathilde Boltenhagen November 25, 2022
Prix Doctorants STIC du plateau de Saclay pour Pierre Vandenhove September 14, 2022
Philippe Schnoebelen receives LICS 2022 Test-of-Time Award July 30, 2022
LICS Test-of-Time Award pour Philippe Schnoebelen July 30, 2022
PLDI'22 Distinguished Paper Award for Xavier Denis, Jacques-Henri Jourdan July 05, 2022
ACM Software System Award for Jacques-Henri Jourdan / CompCert May 11, 2022
Science ouverte : Prix pour Coq February 18, 2022
Nouveau prix de thèse pour Charlie Jacomme February 07, 2022

2021

Ackermann Award for Marie Fortin November 08, 2021
Best-Paper Award at FMICS 2021 September 15, 2021
Best-Paper Award at ICTAC 2021 September 14, 2021
EATCS dissertation Award for Marie Fortin April 28, 2021
Actualité INS2I-CNRS sur Why3, le programme qui vérifie les programmes April 22, 2021
Two LMF teams winning at VerifyThis Competition April 04, 2021
Two LMF teams winning at VerifyThis Competition April 04, 2021
Prix de thèse du GDR Sécurité pour Charlie Jacomme March 29, 2021
Prix de thèse du GDR Sécurité pour Charlie Jacomme March 29, 2021
Renaud Vilmart - Il était une fois… ma thèse March 01, 2021