C'est avec une immense tristesse que nous avons appris le décès de notre collègue Gilles Dowek aujourd'hui.
Plusieurs articles sur Gilles :
- Gilles Dowek, informaticien engagé et vulgarisateur, est mort (Le Monde, 21 juillet 2025)
- Gilles Dowek: Au carrefour de l'informatique, de la logique et de la philosophie (Université Paris-Saclay, décembre 2024)
- Gilles Dowek, explorateur des méthodes formelles (Inria, novembre 2023)
- Gilles Dowek, parcours inspirant (ENS Paris-Saclay)