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