Untitled Document

N°	LABORATOIRE	EQUIPE	ACTIVITE	RESPONSABLE	LIEU
1.	CITI	Systèmes Embarqués	.html	Anne Mignotte	Lyon
2.	ICPS-LSIIT	E.M.E.	.html	Philippe Clauss	Strasbourg
3.	INRIA Futurs & LRI	LogiCal	.html	Gilles Dowek (INRIA) Christine Paulin (LRI)	Le Chesnay Orsay
4.	IRCICA/LIFL	RD2P	.html	Vincent Cordonnier David Simplot	Lille
5.	IRCCyN	Systèmes Temps Réel	.html	Yvon Trinquet	Nantes
6.	IRISA	Lande, Triskell Vertecs	.html	Thomas Jensen Jean-Marc Jezequel Thierry Jéron	Rennes
7.	IRIT	Systèmes temps réel et réseaux	.html	Zoubir Mammeri	Toulouse
8.	I3S	MOSARTS SPORTS	.html	Michel Auguin Charles André	Sophia Antipolis
9.	LaBRI	MVTsi	.html	André Arnold	Bordeaux
10.	LAMIH	"Systèmes Embarqués"	.html	Mourad ABED	Valenciennes
11.	LASMEA	Architecture Logicielles et Mathématiques	.html	Jean-Pierre Dérutin Jocelyn Sérot	Aubière
12.	LIAFA	Modélisation et Vérification	.html	Paul Gastin Ahmed Bouajjani	Paris
13.	LIFC	Techniques Formelles et à Contraintes	.html	Françoise Bellegarde	Besançon
14.	LIMI	LIMI	.html	Lionel Marce	Brest
15.	LIP	Arenaire / Preuves formelles	.html	Marc Daumas	Lyon
16.	LIX	Récriture et Preuve	.html	Ian Mackie	Paris
17.	LORIA	Calligramme Cassis MIRÓ Protheo Trio	.html	Philippe de Groote Michaël Rusinowitch Luigi Liquori Claude Kirchner Françoise Simonot-Lion	Vandoeuvre Lès Nancy
18.	LRI	Programmation et Génie Logiciel	.html	Marie-Claude Gaudel	Orsay
19.	LSR-IMAG	Vasco	.html	Farid Ouabdessalam	Grenoble
20.	LSV	LSV	.html	Michel Bidoit	Cachan
21.	VERIMAG	Systèmes Distribués et Complexes Systèmes Synchrones	.html	Yassine Lakhnech Nicolas Halbwachs	Grenoble