Mis à jour le 11/05/2026
Ce colloque est dédié à l'ensemble des contributions de Gilles Dowek en recherche, enseignement, philosophie, vulgarisation, ou encore éthique.
Gilles Dowek, directeur de recherche chez Inria et professeur à l'Ecole Polytechnique puis à l'Ecole Normale Supérieure de Paris-Saclay, est décédé le 21 juillet 2025 à l'âge de 58 ans. Il a apporté des contributions importantes non seulement en logique (unification, démonstration automatique, théorie des types), mais aussi en informatique quantique et en philosophie. Il a dirigé ou codirigé de nombreuses thèses de doctorat.
Gilles Dowek a reçu plusieurs prix de l'Académie des sciences. Orateur et enseignant brillant, il a publié plusieurs ouvrages en informatique, logique et philosophie. Il a tenu une chronique régulière dans le journal Pour la Science. Il s'est également beaucoup investi dans la promotion de l'enseignement de l'informatique au lycée et a contribué à la définition du programme correspondant. Enfin, il a travaillé au sein du comité consultatif national d'éthique du numérique.
Au programme du colloque
- 09:30 : Accueil
- 10:00 : Philippe Baptiste, ancien directeur du LIX, Ministre de l'Enseignement supérieur, de la Recherche et de l'Espace
10:10 : Antoine Petit, ancien membre du LSV, ancien PDG d'Inria, PDG du CNRS - 10:20 : Hommage à Gilles, par Jean-Yves Berthou, Directeur général délégué à la Politique de site d'Inria et ancien directeur du Centre Inria de Saclay
- 10:30 : Laurent Fribourg, ancien directeur du LSV
- 10:35 : Mihaela Sighireanu, directrice du département d'informatique de l'ENS Paris Saclay
- 10:45 : Bastien Laboureix, étudiant ayant suivi le cours de Gilles à l'ENS Paris Saclay
- 11:00 : Les débuts de Gilles en recherche, par Gérard Huet
- 11:15 : Les contributions de Gilles à la logique et aux assistants à la preuve, par Christine Paulin
- 11:45 : Gilles, la physique et le temps, par Pablo Arrighi
- 12:15 : déjeuner
- 14:00 : Gilles Dowek et la matérialité du calcul, par Maël Pégny
- 14:30 : Gilles Dowek, ami de Michel Serres et du Pommier, par Sophie Bancquart, fondatrice de la Fondation Michel Serres-Institut de France, et ancienne PDG du Pommier
- 14:45 : Gilles Dowek chroniqueur dans la revue Pour la science, par Jean-Paul Delahaye
- 15:00 : Gilles Dowek et la Société informatique de France, par Yves Bertrand, professeur à l'Université de Poitiers, ancien président de la SIF
- 15:15 : Gilles Dowek et l’enseignement de l’informatique au lycée et en classe préparatoire, par Isabelle Guérin Lassous, professeure à l’Université Lyon 1 et au LIP, présidente de la SIF
- 15:30 : Penser l’éthique du numérique avec Gilles, par Claude Kirchner, directeur du comité consultatif national d'éthique du numérique
- 15:45 : Écrire avec Gilles, par Serge Abiteboul
- 16:30 : La création de l'équipe-projet Deducteam, par Catherine Dubois
- 16:45 : Gilles Dowek's Contributions to the Development of Safety-Critical Systems at NASA, par Cesar Munoz, ancien doctorant et collaborateur de Gilles
- 17:00 : Micaela Mayero et Thiago Felicissimo, anciennes doctorantes de Gilles
- 17:15 : L'avenir de l'équipe-projet Deducteam, par Frédéric Blanqui, Responsable de l'équipe-projet Inria Deducteam
- 17:30 : Cocktail
