BlogList
2025
- PhD Defense: Julien Simonnet décembre 16, 2025
- PhD Defense: Benoit Ballenghien décembre 16, 2025
- PhD Defense Marc Renard décembre 02, 2025
- PhD Defense: Zhuofan Xu novembre 18, 2025
- PhD Defence: Marin Costes novembre 17, 2025
- PhD Defense: Josué Moreau novembre 17, 2025
- CNRS Focus on the ANR-NARCO project octobre 08, 2025
- Focus Sciences sur le projet ANR-NARCO octobre 08, 2025
- Best-Paper Award at ASYNC 2025 juillet 28, 2025
- Décès de Gilles Dowek juillet 21, 2025
- Prix de thèse du GDR GPL pour Mickaël Laurent juillet 17, 2025
- Science flash: Where does time actually come from? juillet 17, 2025
- PhD Defense: Luc Chabassier juillet 01, 2025
- Best-Paper Award at ETAPS 2025 juin 25, 2025
- PhD Defense: Thomas Soullard juin 19, 2025
- Séminaire au vert, Port Royal à Saint-Lambert, 2 – 3 juin 2025 mai 16, 2025
- Book Release : Learn Programming with OCaml février 13, 2025
- Rencontre avec les ''Décodeuses du numérique" février 13, 2025
- PhD Defence: Émilie Grienenberger janvier 27, 2025
- PhD Defense: Emilie Grienenberger janvier 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
- PhD Defence: Houda Mouhcine décembre 02, 2024
- PhD Defence: Léo Andrès décembre 02, 2024
- Two former students win Ackermann Award 2024 novembre 13, 2024
- Workshop pour célébrer Serge Haddad, à l'occasion de son départ à la retraite octobre 01, 2024
- PhD Defence: Fabricio Cravo septembre 24, 2024
- HDR defense: Benoît Valiron septembre 19, 2024
- PhD Defence: Thiago Felicissimo septembre 03, 2024
- PhD Defence: Louise Dubois de Prisque juillet 03, 2024
- PhD Defence: Nicolas Meric juin 24, 2024
- PhD Defence: Isa Vialard juin 14, 2024
- PhD defence of Mickael Laurent juin 14, 2024
- Prix de thèse du GdR GPL pour Xavier Denis juin 05, 2024
- PhD Defence: Louis Lemonnier mai 22, 2024
- Séminaire au vert, Saint-Rémy-lès-Chevreuse, 13 – 14 juin 2024 mai 17, 2024
- MT180s : Gaspard Fougea reçoit le prix du jury à la finale Université Paris-Saclay mars 20, 2024
2023
- Soutenance de thèse : Olivier Stietel décembre 11, 2023
- Soutenance de thèse : Alexandrina Korneva décembre 06, 2023
- PhD Defence: Giann Karlo décembre 06, 2023
- Soutenance de thèse : Antoine Lanco décembre 06, 2023
- PhD Defence: Xavier Denis décembre 06, 2023
- Soutenance de thèse : Nathan Thomasset décembre 05, 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
- PhD Defence: Georges Aazan octobre 05, 2023
- Soutenance de thèse : Clément Pascutto octobre 03, 2023
- PhD Defence: Benjamin Bordais octobre 02, 2023
- Soutenance de thèse : Aliaume Lopez septembre 08, 2023
- Soutenance de thèse : Rébecca Zucchini juin 28, 2023
- Alonzo Church Award 2023 for Jacques-Henri Jourdan mai 09, 2023
- Invited Visit of Achim Brucker mai 08, 2023
- Jean-Christophe Filliâtre and Andrei Paskevich win VerifyThis Competition avril 28, 2023
- Workshop pour célébrer Serge Haddad, à l'occasion de son départ à la retraite avril 26, 2023
- Workshop in Honour of Serge Haddad avril 26, 2023
- ACTS 2023 - Workshop on Automata, Concurrency, and Timed Systems avril 26, 2023
- ACTS 2023 - Workshop on Automata, Concurrency, and Timed Systems avril 26, 2023
- PhD Defence: Pierre Vandenhove avril 05, 2023
- Gilles Dowek nommé au Conseil supérieur des programmes mars 06, 2023
- Journée Méthodes de Test pour la Vérification et la Validation mars 03, 2023
- PhD Defence: Agustín Borgna janvier 11, 2023
- PhD Defence: Kostia Chardonnet janvier 09, 2023
2022
- PhD Defence: Glen Mével décembre 04, 2022
- PhD Defence: Amrita Suresh novembre 28, 2022
- PhD Defence: Mathieu Hilaire novembre 28, 2022
- Best Process-Mining Dissertation Award for Mathilde Boltenhagen novembre 25, 2022
- Portraits de chercheurs : Evelyne Contejean novembre 10, 2022
- Portraits de chercheurs : Thomas Nowak novembre 09, 2022
- PhD Defence: Gabriel Hondet septembre 19, 2022
- Prix Doctorants STIC du plateau de Saclay pour Pierre Vandenhove septembre 14, 2022
- Nouveau livre : Informatique MPI septembre 07, 2022
- LICS Test-of-Time Award pour Philippe Schnoebelen juillet 30, 2022
- Philippe Schnoebelen receives LICS 2022 Test-of-Time Award juillet 30, 2022
- PhD Defence: Dongho Lee juillet 20, 2022
- PLDI'22 Distinguished Paper Award for Xavier Denis, Jacques-Henri Jourdan juillet 05, 2022
- Start-up ’’innatelogic’’ sélectionné pour RISE - CNRS Innovation juillet 01, 2022
- Journées nationales du GDR Sécurité Informatique juin 29, 2022
- JFLA 2022 juin 28, 2022
- Hubert Comon Retirement Workshop juin 13, 2022
- Séminaire au vert, Étiolles, 12 – 13 juin 2023 juin 02, 2022
- Seminaire au vert, Étiolles, 9 – 10 juin 2022 juin 02, 2022
- Portraits de chercheurs : Stefan Haar mai 11, 2022
- ACM Software System Award for Jacques-Henri Jourdan / CompCert mai 11, 2022
- PhD Defence: Lulu He mai 10, 2022
- New Project on Safety in Autonomous Cars mars 24, 2022
- Science ouverte : Prix pour Coq février 18, 2022
- Nouveau prix de thèse pour Charlie Jacomme février 07, 2022
- PhD Defence: Igor Khmelnitsky janvier 22, 2022
- Soutenance de thèse : Quentin Garchery janvier 06, 2022
2021
- Habilitation Defense: Matthias Függer décembre 21, 2021
- PhD Defense: Yaëlle Vinçont décembre 13, 2021
- PhD Defense: Jawher Jerray décembre 10, 2021
- Patricia Bouyer co-chairing FoSSaCS novembre 26, 2021
- Deux postes d'enseignants-chercheurs à l'ENS Paris-Saclay novembre 24, 2021
- Seminaire au vert, Frémigny 2 – 3 décembre 2021 novembre 23, 2021
- Ackermann Award for Marie Fortin novembre 08, 2021
- Matthias Függer et al: new article in JACM novembre 03, 2021
- Journées du GT Verif octobre 27, 2021
- PhD Defense: Mathilde Boltenhagen octobre 21, 2021
- PhD Defense: Anirban Majumdar septembre 30, 2021
- Caroline Fontaine dans Les décodeuses du numérique septembre 17, 2021
- Caroline Fontaine Takes the Lead of the CNRS Research Network on Computer Security septembre 15, 2021
- Best-Paper Award at FMICS 2021 septembre 15, 2021
- Best-Paper Award at ICTAC 2021 septembre 14, 2021
- PhD Defense: Yacine El Haddad septembre 09, 2021
- PhD defense : Jury Kolčák juillet 06, 2021
- Soutenance de thèse: Gaspard Férey juin 30, 2021
- PhD Defense: Gaspard Férey juin 30, 2021
- Collégiennes et lycéennes à la découverte de l'informatique juin 24, 2021
- E. W. Beth Dissertation Prize for Aliaume Lopez avril 28, 2021
- EATCS dissertation Award for Marie Fortin avril 28, 2021
- Portraits de chercheurs : Patricia Bouyer avril 25, 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
- Serge Haddad co-chairing CONCUR mars 29, 2021
- Prix de thèse du GDR Sécurité pour Charlie Jacomme mars 29, 2021
- PhD defense Diane Gallois-Wong mars 04, 2021
- Renaud Vilmart - Il était une fois… ma thèse mars 01, 2021
- Launching LMF - the Formal Methods Laboratory janvier 01, 2021
- Création du Laboratoire Méthodes Formelles janvier 01, 2021
