1Francis BAILLY est chargé de recherches honoraire au CNRS au Laboratoire de physique des solides et de cristallogenèse (CNRS, université de Versailles / Saint-Quentin) devenu le GEMAC. Il est spécialiste de physique mathématique.
bailly@cnrs-bellevue.fr

2Denis BONNAY est professeur agrégé au département de philosophie de l’École normale supérieure. Il est titulaire d’un doctorat de philosophie des sciences et d’un DEA de logique mathématique. Il accomplit ses recherches dans le cadre de l’Institut d’histoire et de philosophie des sciences (UMR 8590, CNRS − université Paris 1− ENS). Il est spécialiste de philosophie de la logique.
Denis.Bonnay@univ-paris1.fr

3Patrick DEHORNOY est professeur des universités en poste au département de mathématiques de l’université de Caen. Il est rattaché au Laboratoire de mathématiques Nicolas Oresme, CNRS UMR 6139. Membre senior de l’Institut universitaire de France depuis 2002, il est lauréat du prix Paul Langevin 2005 de l’Académie des Sciences de Paris. Il est notamment spécialiste de théorie des ensembles et de théorie des tresses.
dehornoy@math.unicaen.fr

4Gilles DOWEK est professeur d’informatique à l’École polytechnique. Il est également chercheur au LIX (Laboratoire d’informatique associant l’École polytechnique, le CNRS et l’INRIA) dans le cadre du projet LogiCal. Il mène en parallèle une recherche philosophique, autour de la question des fondements de l’informatique et des mathématiques. En 2007, l’Académie française lui a décerné son Grand prix de philosophie, pour son ouvrage Les métamorphoses du calcul (Éditions Le pommier, 2007, Paris). Ses spécialités sont l’informatique fondamentale et la logique mathématique.
Gilles.Dowek@polytechnique.fr

5Jean-Yves GIRARD est directeur de recherche au CNRS. Rattaché à l’équipe Logique de la programmation à l’Institut de mathématiques de Luminy il a dirigée, il est titulaire de la médaille d’argent du CNRS et correspondant de l’Académie des sciences. Il est spécialiste de logique mathématique et fondements de l’informatique.
girard@iml.univ-mrs.fr

6Jean-Baptiste JOINET est maître de conférences au département de philosophie de l’université Paris 1. Il accomplit ses activités de recherche dans le cadre de l’équipe Preuves-Programmes-Systèmes (UMR 7126, CNRS − université Paris 7) et de l’équipe Expérience et connaissance (EXeCO, équipe associée, université Paris 1). Il est membre du Collectif histoire, philosophie, sciences (CHPS) de l’ENS Paris. Il est spécialiste de philosophie de la logique et de logique mathématique.
joinet@univ-paris1.fr

7Pierre LIVET est professeur des universités, en poste au département de philosophie de l’université d’Aix-en-Provence. Il est directeur du Centre d’épistémologie et d’ergologie comparative (CEPERC, UMR 6059, CNRS − université de Provence). Il y est rattaché à l’équipe d’épistémologie des sciences cognitives. Il est, entre autres, spécialiste d’épistémologie et de philosophie de la cognition.
Pierre.Livet@univ-mrs.fr

8Giuseppe LONGO est directeur de recherches CNRS. D’abord professeur à l’université de Pise (Italie), puis, pendant trois années, dans diverses universités nord-américaines, il a intégré le Département d’informatique de l’École normale supérieure de Paris (où il a dirigé l’équipe Langages, types et logique). Il y dirige actuellement l’équipe Complexité et information morphologique. Il est par ailleurs membre associé du Centre de recherches en épistémologie appliquée (CREA, École polytechnique), membre cofondateur du Centre d’études des systèmes complexes et de la cognition (Unité interdépartements de l’ENS) et membre du Collectif histoire, philosophie, sciences (CHPS) de l’ENS. Ses spécialités sont l’informatique fondamentale, la théorie de la complexité et les théories de la cognition.
Giuseppe.Longo@ens.fr

9Thierry PAUL est directeur de recherches CNRS au département de mathématiques de l’École normale supérieure de Paris. Il est membre du Collectif histoire, philosophie, sciences (CHPS) de l’ENS. Il est mathématicien spécialiste de mécanique quantique.
Thierry.Paul@ens.fr

10Samuel TRONÇON, docteur en philosophie, enseigne la philosophie de la logique et la linguistique dans les départements de mathématiques et de sciences humaines de l’université de la Méditerranée. Il effectue ses recherches dans le cadre du CEPERC (UMR 6059, CNRS − université de Provence) et de l’équipe Logique de la programmation, à l’Institut de mathématiques de Luminy. Il est spécialiste de philosophie de la logique et du langage.
troncon@iml.univ-mrs.fr