Alongside his scientific work, Gilles Dowek (1966-2025) has always given a central place to teaching Science (and in particular Computer Science) and scientific mediation. This page is a list (certainly partial) of such activities done by Gilles. It accompanies the poster Δ presented for the colloquium in memory of Gilles Dowek.
Books for Master Level
- Proofs and Algorithms: An Introduction to Logic and Computability, Springer-Verlag, 2011
- (with Jean-Jacques Levy) Introduction to the Theory of Programming Languages, Springer-Verlag, 2010
Books for Bachelor Level
- (in French) Sous la direction de Benjamin Wack, Informatique pour tous en classes préparatoires aux grandes écoles, Eyrolles, 2013
- Principles of Programming Languages, Springer-Verlag, 2009
- (in French) Avec Bertrand Fauchet, Méthode pour l'épreuve d'informatique, Dunod, 1988
Books for High School (in French)
- Au coeur d'une calculatrice, in David Wilgenbus, Béatrice Salviat, Marc Julia, Graines de Sciences 5, Le Pommier, 2003
- Sous la direction de Claude Deschamps, Symbole, Seconde, 2010, Première 2011, Terminale, 2012.
- En coopération, Introduction à la science informatique, CNDP, 2011
- En coopération, Informatique et sciences du numérique - Spécialité ISN en terminale S, 2012, Édition Spéciale Python, 2013. Les programmes des deux éditions sont en ligne.
- Sous la direction de Claire Calmet, Mathieu Hirtzig et David Wilgenbus, 1, 2, 3... Codez !, Le Pommier, 2016
Books for Scientific Mediation (in French here, some translations exist)
- Pourquoi est-ce qu'il reste des choses à découvrir en mathématiques, alors que c'est l'homme qui les a inventées ? in Noëlle Bréham et Marjorie Devoucoux, Les p'tits bateaux, First, 2013.
- 30 questions de sciences à croquer Qui a inventé l'ordinateur ?, in 30 questions de sciences à croquer, Le Pommier, 2012.
- Plaidoyer pour réconcilier les Sciences et la Culture Les mathématiques universelles et inhabituelles, in Claudie Haigneré, Plaidoyer pour réconcilier les Sciences et la Culture, Le Pommier, 2010.
- 100 questions de science à croquer 100 questions de science à croquer Pourquoi n'y a-t-il qu'un modèle d'ordinateur ?, in 100 questions de sciences à croquer, Le Pommier, 2007.
- Jeux mathématiques et vice-versa avec Jean-Pierre Bourguignon, Jean-Christophe Novelli et Benoît Rittaud, Le collège de la cité, Le Pommier - La cité des sciences et de l'industrie, 2005.
- Quand la science a dit... c'est bizarre avec Gabriel Chardin, Marc Lachièze-Rey, Hervé This, sous la direction de Étienne Klein, Le Pommier, 2003. En poche, 2008.
- Voulez vous jouer avec les maths ? , Le Pommier, 2002.
- Peut-on croire les sondages ? , Le Pommier, 2002.
- Quand la science a dit... c'est impossible ! avec Jean-Michel Alimi, Laurence Rolland, Pierre Avocat, sous la direction de Nayla Farouki, Le Pommier, 1999. En poche, 2008.
- Paysages des sciences Sous la direction de Michel Serres et Nayla Farouki, Le Pommier, 1999.
- Le Trésor - Dictionnaire des sciences Sous la direction de Michel Serres et Nayla Farouki, Flammarion, 1997.
- La logique , Dominos, Flammarion, 1995. Réédition, Le Pommier, 2015.
Books on Philosophy of Science (in French)
- L'IA est-elle une chance ?, Avec Apolline Guillot, Miguel Benasayag et Sophie Gherardi, Philosophie Magazine Éditeur, 2024.
- Un objet informatique a-t-il une éthique ? in Claude Kirchner, Éric Germain et Catherine Tessier, Une éthique du numérique : pour quoi faire ?, PUF, 2022.
- Sommes-nous plus libres parce que le monde va au hasard ? in Jean-Paul Delahaye, Pourquoi moi ? : Le hasard dans tous ses états, Belin, 2021.
- Les réseaux, condition nécessaire du confinement et nouvel outil de santé publique, in Emmanuel Hirsch, Pandémie 2020 - Éthique, société, politique, Les éditions du Cerf, 2020.
- Ce dont on ne peut parler, il faut l'écrire, Le Pommier, 2019.
- Vivre, aimer, voter en ligne, et autres chroniques numériques, Le Pommier, 2017.
- Le temps des algorithmes avec Serge Abiteboul, Le Pommier, 2017.
- Ces préjugés qui nous encombrent, Le Pommier, Manifestes, 2009. podcast de l'interview diffusée par France Inter le lundi 2 novembre 2009 de 6h à 7h.
- Les métamorphoses du calcul : une étonnante histoire de mathématiques, Le Pommier, Essais, 2007. En poche, 2011. Grand prix de philosophie de l'Académie Française. (Also in English)
Theater (in French)
- avec Serge Abiteboul et Laurence Devillers, Qui a hacké Garoutzia ?, C&F Éditions, 2023.