Annuaire Catégorie: Sciences/Informatique/Centres de recherche/Informatique théorique

Annuaire Catégorie: Sciences/Informatique/Centres de recherche/Informatique théorique - Atuvu Référencement

Voir également / Sites sélectionné(s):

Autres catégories / Sites de la rubrique Sciences/Informatique/Centres de recherche/Informatique théorique

Sciences: Centres de recherche (103)

www.cnrs.fr/insis/

Institut des sciences de l'ingénierie et des systèmes (INSIS) - Regroupe les laboratoires dont l'activité dominante concerne ces domaines. France.

www.unilim.fr/laco/acc/index.html

Laboratoire Arithmétique, Cryptographie, Codage (LACO) - Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de Limoges, France.

www.labri.u-bordeaux.fr/

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.

www.liafa.jussieu.fr/

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.

www.lix.polytechnique.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. Palaiseau, France, CNRS - UMR 7650.

www.lifl.fr/

Laboratoire d'Informatique Fondamentale de Lille (LIFL) - Thèmes de recherche : bioinformatique, imagerie, calcul parallèle. Université de Lille 1, France, CNRS - UPRESA 8022.

www.lirmm.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, France, CNRS - UMR 5506.

www.loria.fr/

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.

www.pps.jussieu.fr/

Preuves, programmes et systèmes - Laboratoire composé de logiciens et d'informaticiens. Université Paris 7, France, CNRS - UMR 7126.

Voir également / Sites sélectionné(s):

Autres catégories / Sites de la rubrique Sciences/Informatique/Centres de recherche/Informatique théorique

Referencement

Linking

Annuaire

Partenaires