C'est avec une immense tristesse que nous avons appris le décès de notre collègue Gilles Dowek survenu ce 21 juillet 2025.
Plusieurs articles rendent hommage à son parcours et à ses engagements :
- 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)
- Gilles Dowek, un maître en logique porté par le hasard (Le Monde, avril 2017)