Voir également : 1

Institut des sciences de l'ingénierie et des systèmes (INSIS)
Regroupe les laboratoires dont l'activité dominante concerne ces domaines. France.
Laboratoire Arithmétique, Cryptographie, Codage (LACO)
Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de Limoges, France.
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, Talence, France.
Laboratoire d'informatique algorithmique, fondements et applications (LIAFA)
Thèmes : automates et langages, algorithme et combinatoire, modélisation et vérification. Université Paris 7, France, CNRS-UMR 7089.
Laboratoire d'Informatique de l'Ecole Polytechnique (LIX)
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.
Laboratoire d'Informatique Fondamentale de Lille (LIFL)
Thèmes de recherche : bioinformatique, imagerie, calcul parallèle. Université de Lille 1, France, CNRS - UPRESA 8022.
Laboratoire d'Informatique, de Robotique et de Micro-électronique de Montpellier (LIRMM)
Son but est de structurer les recherches en informatique, robotique et microélectronique. Université de Montpellier, France, CNRS - UMR 5506.
Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Thèmes de recherche : théories et techniques de production de logiciel et intelligence artificielle. Nancy, France, CNRS - UMR 7503.
Preuves, programmes et systèmes
Laboratoire composé de logiciens et d'informaticiens. Université Paris 7, France, CNRS - UMR 7126.
[Computer Mozilla]
Dernière mise à jour :
mars 22, 2016 à 22:38:58 UTC
Sciences
Boutiques en ligne
Société
Sports
Toutes les langues
Arts
Commerce et économie
Informatique
Jeux
Santé
Maison
Actualité
Loisirs
Références
Régional