Archive

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