Actualités
Un poste d'enseignant·e-chercheur·e (professeur·e) à l'ENS Paris-Saclay
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.
Participation à JITA 2024
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).
Prix E.W.Beth pour la thèse d'Aliaume Lopez (promo 2015)
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.
Rentrée 2024
The program back-to-school is available!
Starting with Wednesday August 28th, 2024: internship defences, welcome and pedagogical meetings, departement and intitutional presentations, ...
Seminaire du département 2024-2025
Next session of the departement seminar will be on September 27th, at 4:15 pm.
The sessions of the year 2024-2025 are available below.
Seminaire du département 2024-2025
Next session of the departement seminar will be on September 27th, at 4:15 pm.
The sessions of the year 2024-2025 are available below.
Gilles Dowek lauréat du Grand prix Inria - Académie des sciences 2023
Le Grand prix 2023 Inria-Académie des sciences a été décerné à Gilles Dowek, directeur de recherche INRIA et professeur attaché au DER Informatique.
Prix de thèse Gilles Kahn 2022
Florent Koechelin, normalien du département (promo 2014), a reçu un accessit du prix Gilles Kahn décerné par la Société Informatique Française pour ses travaux de thèse "Systèmes de fonctions holonomes : application à la théorie des automates" effectués au LIGM (Univ. Gustave Eiffel).
Publications à ALGO 2022
Hugo Jacob, normalien-élève (2019), a publié un papier à ESA 2022 et trois papiers à IPEC 2022 Read more...
Prix Ackermann 2024
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).
Publication à LICS 2024
Serge Lechenne, normalien-élève (2021), a publié à LICS 2024 Read more...
Participation SWERC-2023
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 !