- Eugene Asarin - Coordinateur du projet
- Florian Horn - Webmestre
- Laurent Bienvenu
- Aldric Degorre
IRIF - Université Paris Diderot
Les membres de l'Institut de Recherche en Informatique Fondamentales de l'Université Paris Diderot impliqués dans le projet sont :
LACL - Université de Créteil
Les membres du Laboratoire d'Algorithmique, Complexité et Logique de l'Université Paris Est - Créteil impliqués dans le projet sont :
- Catalin Dima - Coordinateur du projet pour le site de Créteil
- Julien Cervelle
LIGM - Université de Marne la Vallée
Les membres du Laboratoire d'Informatique Gaspard Monge de Université Paris-Est de Marne-la-Vallée impliqués dans le projet sont :
- Dominique Perrin - Coordinateur du projet pour le site de Champs sur Marne
- Nathalie Aubrun (Actuellement au LIP, Lyon)
- Nicolas Basset
- Marie-Pierre Béal
- Claire David
- Sylvain Lombardy (Actuellement au LaBRI, Bordeaux)
VERIMAG - Université Joseph Fourier de Grenoble
Les membres du Laboratoire VERIMAG de l'Université Joseph Fourier impliqués dans le projet sont :
- Oded Maler - Coordinateur du projet pour le site de Grenoble
- Radu Iosif