Colloque en hommage à Gilles Dowek (1966-2025)

Deducteam

Date: 19 juin 2026, 9:30-19:30

Lieu: Amphithéâtre Alain Aspect, ENS Paris Saclay, 4 avenue des Sciences, 91190 Gif-sur-Yvette, France

Inscription: formulaire (inscription gratuite mais obligatoire avant le 31 mai)

Gilles Dowek, directeur de recherche à l'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 eu 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. Il 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 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.

Dans ce colloque sera évoqué l'ensemble des contributions de Gilles en recherche, enseignement, philosophie, vulgarisation, éthique, etc.

Heure et Intervenant
09:30
Café d'accueil
10:00
Philippe Baptiste, ancien directeur du LIX, Ministre de l'Enseignement supérieur, de la Recherche et de l'Espace
10:10
Message d'Antoine Petit, ancien membre du LSV, ancien PDG d'Inria, PDG du CNRS
10:20
Hommage à Gilles, Jean-Yves Berthou, Inria
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
10:50
Pause
11:00
Les débuts de Gilles en recherche, Gérard Huet
11:15
Les contributions de Gilles à la logique et aux assistants à la preuve, Christine Paulin
11:45
Gilles, la physique et le temps, Pablo Arrighi
12:15
Buffet
14:00
Gilles Dowek et la matérialité du calcul, Maël Pégny
14:30
Gilles Dowek, ami de Michel Serres et du Pommier, 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, Jean-Paul Delahaye
15:00
Gilles Dowek et la Société informatique de France, 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, 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, Claude Kirchner, directeur du comité consultatif national d'éthique du numérique
15:45
Ecrire avec Gilles, Serge Abiteboul
16:00
pause
16:30
La création de Deducteam, Catherine Dubois
16:45
Gilles Dowek's Contributions to the Development of Safety-Critical Systems at NASA, Cesar Munoz, ancien doctorant et collaborateur de Gilles
17:00
Micaela Mayero et Thiago Felicissimo, ancienNEs doctorantEs de Gilles
17:15
L'avenir de Deducteam, Frédéric Blanqui
17:30
Cocktail

Organisateurs: Frédéric Blanqui, Serge Abiteboul, Pablo Arrighi, Jean-Pierre Jouannaud, Olivier Hermant, Gérard Huet

Autres pages ou événements dédiés à Gilles: