Laboratoire Arithmétique, Cryptographie, Codage - LACO

Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de Limoges.

Laboratoire Bordelais de Recherche en Informatique - LaBRI

Les chercheurs du LaBRI 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. CNRS - UMR 5800.

Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection - LSIIT

S'occupe de l'imagerie, par l'informatique, le traitement du signal, et l'automatique. Université de Strasbourg, CNRS - UPRES 7705.

Laboratoire Logiciels, Systèmes, Réseaux

Maîtrise du développement des logiciels et des systèmes et réseaux d'informations.

Preuves, programmes et systèmes

Laboratoire composé de logiciens et d'informaticiens. Université paris 7, CNRS - UMR 7126.

• Pelechartres
• Dogue Allemand Thélia
• B-tween