BlogList
- Prix Ackermann 2024 November 12, 2024
- Prix E.W.Beth pour la thèse d'Aliaume Lopez (promo 2015) September 12, 2024
- Rentrée 2024 July 23, 2024
- Publication à LICS 2024 June 17, 2024
- Participation SWERC-2023 February 18, 2024
- Seminaire du département 2024-2025 February 18, 2024
- Seminaire du département 2024-2025 February 18, 2024
2023
- Gilles Dowek lauréat du Grand prix Inria - Académie des sciences 2023 December 22, 2023
- Prix de thèse Gilles Kahn 2022 March 09, 2023
- Publications à ALGO 2022 March 09, 2023
- Publication à MCU 2022 March 09, 2023
- Publication à CPP 2023 March 09, 2023
- Publication à OPODIS 2022 March 09, 2023
2021
- Publication à STACS 2022 November 05, 2021