Thèmes de recherche : bio-informatique, imagerie, calcul parallèle. UMR 9189. Université de Lille, Nord (59), France.

Le laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie. Université de Strasbourg, Bas-Rhin (67), France. CNRS-UMR 7357.

Algorithmes et structures discrètes, automates, preuves, programmes et systèmes. UMR 8243. Présentation, actualités et agenda. Université de Paris Cité, (75), France.

Regroupe les laboratoires dont l'activité dominante concerne ces domaines. France.

Les chercheurs sont répartis en cinq équipes : combinatoire et algorithmique, logiques, langages et applications, modélisation, vérification et test de systèmes informatisés, calcul parallèle et distribué, image et son. Talence, Gironde (33), France.

Recherche en algorithmique, sémantique, preuve et interprétation abstraite, algorithmique distribuée, architectures matérielles et logicielles pour la reconnaissance de formes. Palaiseau, France, CNRS - UMR 7650.

Son but est de structurer les recherches en informatique, robotique et microélectronique. Université de Montpellier, France, CNRS - UMR 5506.

Thèmes de recherche : théories et techniques de production de logiciel et intelligence artificielle. Nancy, France, CNRS - UMR 7503.