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)