Awards
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