Les noms en gras correspondent aux responsables de l'ACI dans les différents établissements partenaires.
|
Sémantique, Preuve et Implantation (LIP 6, Paris) |
Marc Pouzet Mathieu Jaume Renaud Rioboo Louis Mandel |
|
Équipe Synchrone VERIMAG (Grenoble) |
Florence Maraninchi Pascal Raymond Erwan Jahier Paul Caspi |
|
Pop-Art (INRIA Rhône-Alpes) |
Pascal Fradet Gregor Goessler Alain Girault |
|
MIMOSA (INRIA Sophia-Antipolis) |
Frédéric Boussinot |
|
CMOS (LaMI Évry) |
Jean-Marc Delosme
Bachir Djafri |
