IRIF - Université Paris DiderotIRIF

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éteilLacl

Les membres du Laboratoire d'Algorithmique, Complexité et Logique de l'Université Paris Est - Créteil impliqués dans le projet sont :

LIGM - Université de Marne la ValléeLigm

Les membres du Laboratoire d'Informatique Gaspard Monge de Université Paris-Est de Marne-la-Vallée impliqués dans le projet sont :

VERIMAG - Université Joseph Fourier de GrenobleVerimag

Les membres du Laboratoire VERIMAG de l'Université Joseph Fourier impliqués dans le projet sont :