Actualités
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...
Publication à MCU 2022
Manon Blanc, normalienne-étudiante (promo 2017), a publié à MCU 2022 Read more...
Publication à CPP 2023
Thomas Lamiaux, normalien-élève (2020), a publié à CPP 2023 Read more...
Publication à OPODIS 2022
Neven Villani, normalien-élève (2020), a publié à OPODIS 2022 Read more...
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 !