Actualités

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.

En savoir plus…

Chaque année, l'Académie des sciences remet près de quatre-vingt prix couvrant l'ensemble des domaines scientifiques, aussi bien fondamentaux qu'appliqués. Lors de la cérémonie de remise de prix du 26 novembre 2024, Gilles Dowek a reçu la Médaille d'histoire des sciences et d'épistémologie.

Pour savoir plus...

Onze normaliennes et normaliens du département ont présenté leur travaux de recherche dans le cadre de la conférence JITA 2024, une conférence pour les chercheuses et chercheurs "junior" en informatique théorique de la Graduate School ISN.

Félicitations à 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.

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, ...

Le programme complet ...

Le séminaire des normaliens du département est prévu les vendredis à 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.

Pour avoir plus de seminaires ...

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.

Pour avoir plus de seminaires ...

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.

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).

Pour avoir plus de prix ...

Hugo Jacob, normalien-élève (2019), a publié un papier à ESA 2022 et trois papiers à IPEC 2022 En savoir plus…

Le prix Ackermann est un prix de thèse accordé par l'European Association for Computer Science Logic pour une thèse exceptionnelle soutenue pendant l'année sur un sujet de logique pour l'informatique. Il porte le nom du mathématicien et logicien allemand Wilhelm Ackermann connu pour sa contribution à la logique mathématique et la fonction d'Ackermann.

En 2024, le prix a été accordé exæquo à deux diplômés normaliens du département (promotion 2015) :

• Gaëtan Douéneau-Tabot pour sa thèse Optimization of string transducers dirigée par Olivier Carton et Emmanuel Filiot à l'Université Paris-Cité (France),
• Aliaume Lopez pour sa thèse First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions dirigée par Jean Goubault-Larrecq (Université Paris-Saclay, ENS Paris-Saclay, LMF) et Sylvain Schmitz (Université Paris-Cité, IRIF).

Pour savoir plus ...

Serge Lechenne, normalien-élève (2021), a publié à LICS 2024 En savoir plus…

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 ...