|
|
|
|
Home / World / Français / Sciences / Mathématiques / Laboratoires de recherche / Laboratoires de recherche en informatique théorique
|
|
|
|
Web Sites
|
- Laboratoire Arithmétique, Cryptographie, Codage - LACO - Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de Limoges.
www.unilim.fr/laco/acc/index.html
- 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.
www.labri.u-bordeaux.fr
- 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.
ultralix.polytechnique.fr
- Laboratoire d'Informatique Fondamentale de Lille -LIFL - Thèmes de recherche : bioinformatique, imagerie, calcul parallèle. CNRS -UPRESA 8022.
www.lifl.fr
- 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.
www.lirmm.fr
- 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.
lsiit.u-strasbg.fr
- Laboratoire Leibniz - Mathématiques discrètes, informatique fondamentale et systèmes cognitifs. CNRS - UMR 5622.
www-leibniz.imag.fr/index.html
- Laboratoire Logiciels, Systèmes, Réseaux - Maîtrise du développement des logiciels et des systèmes et réseaux d'informations.
www-lsr.imag.fr/index.html
- 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.
www.loria.fr
- Preuves, programmes et systèmes - Laboratoire composé de logiciens et d'informaticiens. Université paris 7, CNRS - UMR 7126.
www.pps.jussieu.fr
|
|
|
|
|