Awards
- Two former students win Ackermann Award 2024 November 13, 2024
- Prix de thèse du GdR GPL pour Xavier Denis June 05, 2024
- MT180s : Gaspard Fougea reçoit le prix du jury à la finale Université Paris-Saclay March 20, 2024
2023
- Best-Paper Award at JELIA 2023 November 10, 2023
- Hubert Comon-Lundh receives LICS 2023 Test-of-Time Award October 18, 2023
- LICS 2023 Test-of-Time Award pour Hubert Comon-Lundh October 18, 2023
- Gilles Dowek lauréat du Grand prix Inria - Académie des sciences 2023 October 18, 2023
- Alonzo Church Award 2023 for Jacques-Henri Jourdan May 09, 2023
- Jean-Christophe Filliâtre and Andrei Paskevich win VerifyThis Competition April 28, 2023
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
- LICS Test-of-Time Award pour Philippe Schnoebelen July 30, 2022
- Philippe Schnoebelen receives LICS 2022 Test-of-Time Award 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
- E. W. Beth Dissertation Prize for Aliaume Lopez April 28, 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