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
Le programme de la rentrée 2024 est disponible !
Au programme, dès le 28 août 2024 : les soutenances de stage 2024, les réunions d'accueil et pédagogiques, les mises à niveau, ...
Seminaire du département 2024-2025
La prochaine séance du séminaire est prévue le vendredi 27 septembre à 16h15 en salle 1Z61.
Les séances de l'année 2024-2025 passées ou prévues sont disponibles sur le site ci-dessous.
Seminaire du département 2024-2025
La prochaine séance du séminaire est prévue le vendredi 27 septembre à 16h15 en salle 1Z61.
Les séances de l'année 2024-2025 passées ou prévues sont disponibles sur le site ci-dessous.
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 En savoir plus…
Publication à MCU 2022
Manon Blanc, normalienne-étudiante (promo 2017), a publié à MCU 2022 En savoir plus…
Publication à CPP 2023
Thomas Lamiaux, normalien-élève (2020), a publié à CPP 2023 En savoir plus…
Publication à OPODIS 2022
Neven Villani, normalien-élève (2020), a publié à OPODIS 2022 En savoir plus…
Publication à LICS 2024
Serge Lechenne, normalien-élève (2021), a publié à LICS 2024 En savoir plus…
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 !