Annuaire Sciences : Preuves, programmes et systemes

Web	sur ce site

Preuves, programmes et systemes

Ecrire un commentaire

Ajouter à mes favoris

En parler à un ami

Reporter un lien brisé

507

Preuves, programmes et systemes

http://www.pps.jussieu.fr/

Laboratoire compose de logiciens et d'informaticiens. Universite Paris 7, France, CNRS - UMR 7126.

Actualite et medias > Informatique > Centres de recherche > Informatique theorique

Site web ajouté le : 30.11.2006 par

Autres liens dans Actualite et medias > Informatique > Centres de recherche > Informatique theorique

1. Laboratoire d'informatique algorithmique, fondements et applications (LIAFA)

Themes : automates et langages, algorithme et combinatoire, modelisation et verification. Universite Paris 7, France, CNRS-UMR 7089.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

2. Laboratoire Bordelais de Recherche en Informatique (LaBRI)

Les chercheurs du LaBRI sont repartis en cinq equipes : combinatoire et algorithmique, logiques, langages et applications, modelisation, verification et test de systemes informatises, calcul parallele et distribue, image et son. CNRS - UMR 5800, Talence, France.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

3. Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)

Themes de recherche : theories et techniques de production de logiciel et intelligence artificielle. Nancy, France, CNRS - UMR 7503.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

4. Laboratoire d'Informatique, de Robotique et de Micro-electronique de Montpellier (LIRMM)

Son but est de structurer les recherches en informatique, robotique et microelectronique. Universite de Montpellier, France, CNRS - UMR 5506.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

5. Laboratoire des Sciences de l'Image, de l'Informatique et de la Teledetection (LSIIT)

S'occupe de l'imagerie par l'informatique, le traitement du signal, et l'automatisme. Universite de Strasbourg, France, CNRS - UPRES 7705.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

6. Laboratoire Arithmetique, Cryptographie, Codage (LACO)

Presentation des themes de recherche, des groupes de travail, des cooperations. Universite de Limoges, France.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

7. Preuves, programmes et systemes

Laboratoire compose de logiciens et d'informaticiens. Universite Paris 7, France, CNRS - UMR 7126.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

8. Laboratoire d'Informatique Fondamentale de Lille (LIFL)

Themes de recherche : bioinformatique, imagerie, calcul parallele. Universite de Lille 1, France, CNRS - UPRESA 8022.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

9. Laboratoire Leibniz

Mathematiques discretes, informatique fondamentale et systemes cognitifs. Grenoble, France, CNRS - UMR 5522.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique

10. Laboratoire Logiciels, Systemes, Reseaux

Maitrise du developpement des logiciels et des systemes et reseaux d'informations. Grenoble, France.
Categorie : Actualite et medias > Informatique > Centres de recherche > Informatique theorique