Awards
2025
- Prix de thèse du GDR GPL pour Mickaël Laurent juillet 17, 2025
- Best-Paper Award at ETAPS 2025 juin 25, 2025
2024
- Prix de l'Académie des sciences 2024 pour Gilles Dowek décembre 10, 2024
- Gilles Dowek receives French Academy of Sciences Award décembre 10, 2024
- Two former students win Ackermann Award 2024 novembre 13, 2024
- Prix de thèse du GdR GPL pour Xavier Denis juin 05, 2024
- MT180s : Gaspard Fougea reçoit le prix du jury à la finale Université Paris-Saclay mars 20, 2024
2023
- Best-Paper Award at JELIA 2023 novembre 10, 2023
- Hubert Comon-Lundh receives LICS 2023 Test-of-Time Award octobre 18, 2023
- LICS 2023 Test-of-Time Award pour Hubert Comon-Lundh octobre 18, 2023
- Gilles Dowek lauréat du Grand prix Inria - Académie des sciences 2023 octobre 18, 2023
- Alonzo Church Award 2023 for Jacques-Henri Jourdan mai 09, 2023
- Jean-Christophe Filliâtre and Andrei Paskevich win VerifyThis Competition avril 28, 2023
2022
- Best Process-Mining Dissertation Award for Mathilde Boltenhagen novembre 25, 2022
- Prix Doctorants STIC du plateau de Saclay pour Pierre Vandenhove septembre 14, 2022
- LICS Test-of-Time Award pour Philippe Schnoebelen juillet 30, 2022
- Philippe Schnoebelen receives LICS 2022 Test-of-Time Award juillet 30, 2022
- PLDI'22 Distinguished Paper Award for Xavier Denis, Jacques-Henri Jourdan juillet 05, 2022
- ACM Software System Award for Jacques-Henri Jourdan / CompCert mai 11, 2022
- Science ouverte : Prix pour Coq février 18, 2022
- Nouveau prix de thèse pour Charlie Jacomme février 07, 2022
2021
- Ackermann Award for Marie Fortin novembre 08, 2021
- Best-Paper Award at FMICS 2021 septembre 15, 2021
- Best-Paper Award at ICTAC 2021 septembre 14, 2021
- E. W. Beth Dissertation Prize for Aliaume Lopez avril 28, 2021
- EATCS dissertation Award for Marie Fortin avril 28, 2021
- Actualité INS2I-CNRS sur Why3, le programme qui vérifie les programmes avril 22, 2021
- Two LMF teams winning at VerifyThis Competition avril 04, 2021
- Two LMF teams winning at VerifyThis Competition avril 04, 2021
- Prix de thèse du GDR Sécurité pour Charlie Jacomme mars 29, 2021
- Prix de thèse du GDR Sécurité pour Charlie Jacomme mars 29, 2021
- Renaud Vilmart - Il était une fois… ma thèse mars 01, 2021