| Directory > World > Français > Sciences > Informatique > Centres de recherche > Informatique théorique 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. CNRS -
UMR 7650.
http://www.lix.polytechnique.fr/
Reviews Rating: Not yet Rated
Whois Check
Laboratoire d'informatique algorithmique, fondements et applications
Thèmes : automates et langages, algorithme et combinatoire, modélisation et vérification.
Universite Paris 7, CNRS-UMR 7089.
http://www.liafa.jussieu.fr/
Reviews Rating: Not yet Rated
Whois Check
Laboratoire Arithmétique, Cryptographie, Codage - LACO
Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de
Limoges.
http://www.unilim.fr/laco/acc/index.html
Reviews Rating: Not yet Rated
Whois Check
Laboratoire Logiciels, Systèmes, Réseaux
Maîtrise du développement des logiciels et des systèmes et réseaux d'informations.
http://www-lsr.imag.fr/index.html
Reviews Rating: Not yet Rated
Whois Check
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, CNRS - UMR 5506.
http://www.lirmm.fr/
Reviews Rating: Not yet Rated
Whois Check
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.
http://lsiit.u-strasbg.fr/
Reviews Rating: Not yet Rated
Whois Check
Preuves, programmes et systèmes
Laboratoire composé de logiciens et d'informaticiens. Université paris 7, CNRS - UMR 7126.
http://www.pps.jussieu.fr/
Reviews Rating: Not yet Rated
Whois Check
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. CNRS - UMR 7503.
http://www.loria.fr/
Reviews Rating: Not yet Rated
Whois Check
Laboratoire Leibniz
Mathématiques discrètes, informatique fondamentale et systèmes cognitifs. CNRS - UMR 5622.
http://www-leibniz.imag.fr/index.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.labri.u-bordeaux.fr/
Reviews Rating: Not yet Rated
Whois Check
Laboratoire d'Informatique Fondamentale de Lille -LIFL
Thèmes de recherche : bioinformatique, imagerie, calcul parallèle. CNRS -UPRESA 8022.
http://www.lifl.fr/
Reviews Rating: Not yet Rated
Whois Check
|
