-
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