LIG - Laboratoire d'informatique de grenoble

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

Evaluation campaign: 2014-2015 (group A) - Published on: 12/05/2015

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

Disciplinary research field: Science and Technology (ST) ; Humanities and Social Sciences (SHS) ; ST6 Information and Communication Science and Technology ; SHS4 Human Spirit, Language, Education

Scientific field(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

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

Name of unit teams: 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

Keywords: Données et Connaissance ; Systèmes Répartis ; Méthodes Formelles ; Génie logiciel ; Systèmes Interactifs ; SHS4_3 ; ST5