Directory of Informatique théorique Resources

Home > World > Français > Sciences > Informatique > Centres de recherche > Informatique théorique

Resources in This Category

• Institut des sciences de l'ingénierie et des systèmes (INSIS)

  http://www.cnrs.fr/insis/
  Regroupe les laboratoires dont l'activité dominante concerne ces domaines. France.

• Laboratoire Arithmétique, Cryptographie, Codage (LACO)

  http://www.unilim.fr/laco/acc/index.html
  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)

  http://www.labri.u-bordeaux.fr/
  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)

  http://www.liafa.jussieu.fr/
  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)

  http://www.lix.polytechnique.fr/
  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)

  http://www.lifl.fr/
  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)

  http://www.lirmm.fr/
  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)

  http://www.loria.fr/
  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

  http://www.pps.jussieu.fr/
  Laboratoire composé de logiciens et d'informaticiens. Université Paris 7, France, CNRS - UMR 7126.

Related Categories

• Home > World > Français > Sciences > Centres de recherche

 

Home > World > Français > Sciences > Informatique > Centres de recherche > Informatique théorique

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us