Attention, suite à une faille de sécurité, les liens vers les serveurs d'exploration ont été désactivés. Des actions de régénération sont en cours et quelques serveurs sont à nouveau accessibles.
-
Institut des sciences informatiques et de leurs interactions : Différence entre versions
De Wicri Informatique
imported>Jacques Ducloy (→Liste des laboratoires) |
imported>Jacques Ducloy (→Liste des laboratoires) |
||
| Ligne 8 : | Ligne 8 : | ||
!DR | !DR | ||
!Région | !Région | ||
| + | |- | ||
| + | |Génie de Programmation et du Logiciel | ||
| + | |GPL | ||
| + | | GDR 3168 | ||
| + | |11 | ||
| + | | | ||
|- | |- | ||
| Laboratoire d’Informatique de Grenoble | | Laboratoire d’Informatique de Grenoble | ||
| Ligne 18 : | Ligne 24 : | ||
|LTCI | |LTCI | ||
|UMR 5141 | |UMR 5141 | ||
| − | | | + | | |
| | | | ||
|- | |- | ||
| Ligne 80 : | Ligne 86 : | ||
* Architecture, Systèmes, Réseaux (ASR) GDR 725 ; | * Architecture, Systèmes, Réseaux (ASR) GDR 725 ; | ||
* Informatique Graphique (IG) GDR 3000 ; | * Informatique Graphique (IG) GDR 3000 ; | ||
| − | |||
* Méthodes et Applications pour la Géomatique et l’Information Spatiale (MAGIS) GDR 2340. | * Méthodes et Applications pour la Géomatique et l’Information Spatiale (MAGIS) GDR 2340. | ||
Version du 19 juin 2011 à 18:40
L'Institut des sciences informatiques et de leurs interactions ou INS2I est un institut du Centre national de la recherche scientifique (CNRS).
Liste des laboratoires
| Nom de l'unité | Sigle | Code | DR | Région |
|---|---|---|---|---|
| Génie de Programmation et du Logiciel | GPL | GDR 3168 | 11 | |
| Laboratoire d’Informatique de Grenoble | LIG | UMR 5217 | 11 | |
| Laboratoire traitement et communication de l’information | LTCI | UMR 5141 | ||
| Informatique, mathématique, automatique, signal | MI2S | UMS 3042 | 11 | |
| VERIMAG | VERIMAG | UMR 5104 | 11 |
|
table en cours de construction |
- Services répartis, Architecture Modélisation Validation Administration de Réseaux (SAMOVAR), UMR 5157 ;
- Laboratoire d’Informatique en Images et Systèmes d’Information (LIRIS) , UMR 5205 ;
- Laboratoire G-SCOP, UMR 5272 ;
- Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505 ;
- Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM) UMR 5506 ;
- Laboratoire d’Informatique du Parallélisme (LIP) UMR 5668 ;
- Laboratoire Bordelais de Recherche en Informatique (LaBRI) UMR 5800 ;
- Laboratoire Informatique, Signaux Systèmes de Sophia Antipolis (I3S) UMR 6070 ;
- Groupe de REcherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC) UMR 6072 ;
- Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) UMR 6074 ;
- Laboratoire d’Informatique, de Modélisation et d’optimisation des Systèmes (LIMOS) UMR 6158 ;
- Laboratoire d’Informatique Fondamentale de Marseille (LIF) UMR 6166 ;
- Laboratoire des Sciences de l’Information et des Systèmes (LSIS) UMR 6168 ;
- Laboratoire d’Informatique de Nantes Atlantique (LINA) UMR 6241 ;
- Laboratoire des Sciences de l’Image, de l’Informatique et de la Télédétection (LSIIT) UMR 7005 ;
- Laboratoire d’Informatique de Paris-Nord (LIPN) UMR 7030 ;
- Laboratoire d’Informatique Algorithmique Fondamentale et Appliquée (LIAFA)UMR 7089 ;
- Preuves, Programmes et Systèmes (PPS) UMR 7126 ;
- Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)UMR 7161 ;
- Laboratoire d’Analyse et Modélisation de Systèmes pour l’Aide à la Décision (LAMSADE) UMR 7243 ;
- Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) UMR 7503 ;
- Laboratoire d’Informatique de Paris 6 (LIP6) UMR 7606 ;
- Laboratoire d’Informatique Fondamentale de Lille (LIFL) UMR 8022 ;
- Laboratoire d’Informatique Gaspard Monge (LIGM) UMR 8049 ;
- Equipe Traitement des Images et du Signal (ETIS) UMR 8051 ;
- Parallélisme, Réseaux, Systèmes, Modélisation (PRISM) UMR 8144 ;
- Centre de Recherche en Informatique de Lens (CRIL) UMR 8188 ;
- Laboratoire d’Informatique de l’Ecole Normale Supérieure (LIENS) UMR 8548 ;
- Laboratoire de Recherche en Informatique (LRI) UMR 8623 ;
- Laboratoire Spécification et Vérification (LSV) UMR 8643 ;
- Sciences et Technologies de la Musique et du Son (STMS) UMR 9912 ;
- Institut du développement et des ressources en informatique scientifique (IDRIS) UPS 851 ;
- Laboratoire d’Automatique, de Génie Informatique et Signal (LAGIS)FRE 3303 ;
- AtlanSTIC, FR 2819 ;
- Multimédia, Informations, Communication et Applications (MICA) UMI 2954 ;
- Recherche Opérationnelle (RO) GDR 3002 ;
- Bio-informatique moléculaire (BIM) GDR 3003 ;
- Informatique mathématique (IM) GDR 673 ;
- Information, Signal, Images, Vision (ISIS) GDR 720 ;
- Information, Interaction, Intelligence (I3) GDR 722 ;
- Architecture, Systèmes, Réseaux (ASR) GDR 725 ;
- Informatique Graphique (IG) GDR 3000 ;
- Méthodes et Applications pour la Géomatique et l’Information Spatiale (MAGIS) GDR 2340.
Liens interwikis
Voir l'INS2I sur les wikis :
