Participants

 Michele Abrusci
 Francis Bailly
 Ali Benmakhlouf
 Gabriella Crocco
 Gilles Dowek
 Jean-Yves Girard
 Martin Hyland
 Jean-Baptiste Joinet
 Jean Lassègue
 Alain Lecomte
 Pierre Livet
 Giuseppe Longo
 Alexandre Miquel
 Francois Nicolas
 Thierry Paul
 Gabriele Pulcini
 Myriam Quatrini
 Vincent Schachter
 Bernard Teissier
 Samuel Tronçon

 CEPERC (Centre d’épistémologie et d’ergologie comparatives, Université d’Aix-en-Provence, Philosophie)
 LDP (Logique de la Programmation, Université d’Aix-Marseille 2, Mathématiques)
 PPS (Preuves-Programmes-Systèmes, Université Paris 7, Maths-Info)
 GRLL (Groupe Romain de Logique Linéaire, Université de Rome 3, Philosophie)
 CIM (Complexité et information Morphologiques, ENS, Informatique, Sciences Cognitives, Biologie)
 GEOCAL (Réseau Géométrie du Calcul)
 GHPS (Groupe Histoire-Philosophie-Sciences, Département de Philosophie de l’ENS Paris)
 Prélude (Projet blanc de l’ANR)