LIG - Laboratoire d'informatique de grenoble

Type : Rapport d’évaluation des unités de recherche

Campagne d'évaluation : 2014-2015 (vague A) - Publié le : 12/05/2015

Établissement(s) concerné(s) : Université Joseph Fourier - Grenoble - UJF , Centre national de la recherche scientifique - CNRS , Grenoble INP , Universite Pierre Mendès France - Grenoble - UPMF

Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST) ; Sciences humaines et sociales (SHS) ; ST6 Sciences et technologies de l'information et de la communication - STIC ; SHS4 - L’esprit humain et sa complexité

Domaine(s) scientifique(s) : 9 - Sciences et technologies de l'information et de la communication ; 8 - Sciences pour l'ingénieur ; 6 - Sciences de l'homme et humanités

Panel(s) ERC : PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems ;

Nom des équipes de l'unité : ADELE (Environnements et outils pour le Génie Logiciel Industriel) ; AMA (Analyse de données, Modélisation et Apprentissage automatique) ; CAPP (Calculs algorithmes programmes et preuves) ; DRAKKAR (Réseaux et Multimédia) ; E-MOTION (Géométrie et probabilité pour le mouvement et l'action) ; EXMO (Computer mediated exchange of structured knowledge) ; GETALP (Groupe d'Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parole) ; HADAS (Heterogenous Autonomous distributed DAta Services) ; IIHM (Ingénierie de l'Interaction Homme-Machine) ; MAGMA (Modélisation d'agents autonomes en univers multi-agents) ; MESCAL (Middleware efficiently scalable) ; METAH (Modèles et Technologies pour l'Apprentissage Humain) ; MOAIS (Multi-programmation et Ordonnancement sur ressources distribuées pour les Applications Interactives de Simulation) ; MRIM (Modélisation et Recherche d'Information Multimédia) ; PRIMA (Perception, reconnaissance et intégration pour la modélisation d'activité) ; SIGMA (Systèmes d'Information - inGénierie et Modélisation Adaptables) ; STEAMER (Spatio-temporal information, adaptability, multimedia and knowledge representation) ; VASCO (Validation de Systèmes, Composants et Objets logiciels) ; CONVECS (Construction de Systèmes Concurrents Vérifiés) ; ERODS (Efficient and RObust Distributed Systems) ; NANOSIM (Nanosimulations and Embedded Applications for Hybrid Multi-core Architectures) ; TYREX (Types et raisonnement pour le Web) ; SLIDE

Mot(s) clé(s) : Données et Connaissance ; Systèmes Répartis ; Méthodes Formelles ; Génie logiciel ; Systèmes Interactifs ; SHS4_3 ; ST5