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.

Visioconférence: Assitez sur zoom

Heure et Intervenant
09:30
Café d'accueil
10:00
Message d'Antoine Petit, ancien membre du LSV, ancien PDG d'Inria et du CNRS
10:10
Hommage à Gilles, Jean-Yves Berthou, Inria
10:20
Laurent Fribourg, ancien directeur du LSV
10:30
Mihaela Sighireanu, directrice du département d'informatique de l'ENS Paris Saclay
10:40
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 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:10
Gilles Dowek et ses actions dans la SIF pour la formation, Christine Froidevaux, ancienne vice-présidente de la SIF
15:20
Gilles Dowek et la SIF : tous azimuts ! Yves Bertrand, professeur à l'Université de Poitiers, ancien président 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
Le futur de Deducteam, Frédéric Blanqui
17:30
Philippe Baptiste, ancien directeur du LIX, Ministre de l'Enseignement supérieur, de la Recherche et de l'Espace
17:40
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: