Actualités

Marie Duflot-Kremer, former student of the Department of Teaching and Research (DER) Mathematics-Informatiques de l'ENS de Cachan (now ENS Paris-Saclay) and doctoral student of the school, and now lecturer in computer science at the University of Lorraine, has received the Gilles Dowek prize awarded by the Société informatique de France (SIF) at its 2026 congress in Nancy. This new prize, created in tribute to Gilles Dowek, rewards scientific mediation projects with the general public.

More about on le Marie Duflot-Kremer

Vincent Lafeychine (entrance 2021) was awarded for his knowledge passing activities done for Diploma ENS Paris-Saclay.

Listen Vincent Lafeychine during award ceremony (in French) ...

The program back-to-school is available!

Starting with Thursday August 26th, 2026: internship defences, welcome and pedagogical meetings, department and institutional presentations, ...

Full program ...

Three students of the department presented their research work during the JITA 2025 conference, a "junior" conference on theoretical computer science of the Graduate School ISN.

Warm congratulations to Diane Ducrocq (promo 2024), Antonin Loubière (promo 2024), Igor Semezies (promo 2024).

Cinq missions d'enseignements pour les doctorant•es sont ouverts dans le DER d'informatique de l'ENS Paris-Saclay pour l'année universitaire 2025--2026. Les conditions et les modalités de candidature sont décrites ici. La date limite de candidature est le lundi 16 juin 2025 à 12h, auprès de RH ENS Paris-Saclay.

Pour plus d'information sur les enseignements disponibles, veuillez prendre contact avec la direction du DER d'informatique.

Un poste de professeur·e est ouvert dans le DER d'informatique de l'ENS Paris-Saclay, avec affectation au laboratoire LMF. Pour plus d'informations, veuillez vous référer au profil du poste.

Read more...

Eleven students of the department presented their research work during the JITA 2024 conference, a "junior" conference on theoretical computer science of the Graduate School ISN.

Warm congratulations to Noémie Catherinot (promo 2023), Basile Schlosser (promo 2023), Pierre Durieux (promo 2023), Maëlle Cornély (promo 2023), Léo Juguet (promo 2022), Sébastien Very (promo 2023), Titouan Lozac'h (promo 2023), Alban Mattei (promo 2023), Thomas Valentin (promo 2023), Thomas Filasto (promo 2022), Jérôme Guyot (promo 2022).

Aliaume Lopez (promo 2015) a reçu le prix 2024 E. W. Beth Dissertation Prize pour sa thèse First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions.

Ce prix, portant le nom du mathématicien hollandais Evert Willem Beth, est accordé depuis 1988 par Association for Logic, Language, and Information (FoLLI) et récompense chaque année une thèse remarquable dans le domaine de la logique, langages formelles et théorie de l'informatiion.

Aliaume a été dirigé dans ces travaux par Jean Goubault-Larrecq au LSV puis LMF et par Sylvain Schmitz à l'IRIF.

A colloquium in memory of Gilles Dowek (1966–2025) was held on 19 June 2026 at ENS Paris-Saclay.

The event will bring together colleagues, collaborators, and former students to reflect on his influential contributions to computer science, logic, and philosophy. Gilles Dowek made important advances in type theory and automated reasoning, and was also deeply involved in education. The colloquium will highlight the breadth of his work and its lasting impact. Further information is available on the event webpage: https://deducteam.gitlabpages.inria.fr/colloque-gilles/

Arthur Adjedj, normalien-élève (promo 2021), a publié à POPL 2026 Read more...

Gilles Dowek, directeur de recherche à l'Inria et professeur attaché au département d'informatique de l'ENS Paris-Saclay, est décédé le 21 juillet 2025. Gilles Dowek était un chercheur internationalement reconnu pour ses travaux en logique informatique et théorie de la preuve. C'était aussi un pédagogue charismatique, qui a marqué plusieurs générations de normaliens du département. Ses engagements en faveur de la science informatique ont contribué à l'introduction de cette science dans l'enseignement primaire, secondaire et en classes préparatoires, ainsi qu'à la création en 2022 d'une agrégation en informatique.

Pour savoir plus sur sa carrière ...

The program back-to-school is available!

Starting with Thursday August 28th, 2025: internship defences, welcome and pedagogical meetings, department and institutional presentations, ...

Full program ...

The Ackermann Award is the European Association for Computer Science Logic Outstanding Dissertation Award for Logic in Computer Science. It is named after the German mathematician and logician Wilhelm Ackermann known for his work in mathematical logic and the Ackermann function.

For 2024, two former students of the department (admission 2015) are awarded:

• Gaëtan Douéneau-Tabot for his dissertation Optimization of string transducers supervised by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France),
• Aliaume Lopez for his dissertation First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions supervised by Jean Goubault-Larrecq (Université Paris-Saclay, ENS Paris-Saclay, LMF) and Sylvain Schmitz (Université Paris-Cité, IRIF).

More ...

Serge Lechenne, normalien-élève (2021), a publié à LICS 2024 Read more...

Deux équipes du département ont participé au concours de programmation international SWERC : Team Sort (place 31ème) et Toujours 1d6 (place 36ème). Félicitations à eux !

Pour avoir plus de prix ...