BlogList

2025

Publication à POPL 2026 décembre 08, 2025
Participation à JITA 2025 décembre 08, 2025
Décès de Gilles Dowek juillet 21, 2025
Rentrée 2025 juin 06, 2025
Missions d'enseignement en doctorat mai 22, 2025
Un poste d'enseignant·e-chercheur·e (professeur·e) à l'ENS Paris-Saclay février 13, 2025
Prix de l'Académie des sciences 2024 pour Gilles Dowek février 13, 2025
Participation à JITA 2024 janvier 23, 2025

2024

Prix Ackermann 2024 novembre 12, 2024
Prix E.W.Beth pour la thèse d'Aliaume Lopez (promo 2015) septembre 12, 2024
Publication à LICS 2024 juin 17, 2024
Participation SWERC-2023 février 18, 2024
Seminaire du département 2024-2025 février 18, 2024

2023

Gilles Dowek lauréat du Grand prix Inria - Académie des sciences 2023 décembre 22, 2023
Prix de thèse Gilles Kahn 2022 mars 09, 2023
Publications à ALGO 2022 mars 09, 2023
Publication à MCU 2022 mars 09, 2023
Publication à CPP 2023 mars 09, 2023
Publication à OPODIS 2022 mars 09, 2023

2021

Publication à STACS 2022 novembre 05, 2021