Université Paris 8 – 2 rue de la Liberté, 95526 SAINT-DENIS
structure : Laboratoires
FIL (Fédération Informatique de Lyon)
23-25 Avenue Pierre de Coubertin, 69622 VILLEURBANNE
SAMOVAR (Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux)
9 rue Charles Fourier, 91011 EVRY
TIMA (Techniques de l’Informatique et de la Microélectronique pour l’Architecture des systèmes intégrés)
46, avenue Félix Viallet, 38031 GRENOBLE CEDEX
VERIMAG (VERIMAG)
Université Grenoble Alpes – Bâtiment IMAG – 150, place du torrent, 38401 SAINT-MARTIN-D-HERES
XLIM (Institut de recherche XLIM)
Université de Limoges – 123 Avenue Albert Thomas, 87060 LIMOGES CEDEX
LIX (Laboratoire d’Informatique de l’Ecole Polytechnique)
1 rue H. d’Estienne d’Orves, 91120 PALAISEAU
LMF (Laboratoire Méthodes Formelles)
4, avenue des Sciences, 91190 GIF-SUR-YVETTE
LORIA (Laboratoire lorrain de Recherche en Informatique et ses Applications)
LORIA- 615 rue du Jardin Botanique, 54600 VILLERS-LES-NANCY
LS2N (Laboratoire des Sciences du Numérique)
Université de Nantes – Faculté des Sciences et Techniques – Bâtiment 34 – 2 chemin de la Houssinière – BP 92208, 44322 NANTES CEDEX 3