Laboratoire d'Informatique de Grenoble

CTL-A    Control for safe Autonomic computing systems
Eric Rutten https://team.inria.fr/ctrl-a

SIGMA   Systèmes d'Information - Ingénierie et Modélisation Adaptables
Cyril Labbé http://sigma.imag.fr

VASCO   VAlidation of Software Systems, Components and Objects
Yves Ledru  http://vasco.imag.fr/

CAPP   Calculi, Algorithms, Programs, and Proofs
Nicolas Peltier http:// capp.imag.fr

CONVECS   Construction of Verified Concurrent Systems
Radu Mateescu http://convecs.inria.fr

SPADES  Sound Programming of Adaptable Dependable Embedded Systems
Gregor Goessler https://team.inria.fr/spades/

TYREX  Types and Reasoning for the Web
Pierre Genevès http://tyrex.inria.fr  

APTIKAL (Algorithms, Principles and TheorIes for collaborative Knowledge acquisition And Learning
Massih-reza Amini http://ama.liglab.fr/

GETALP  Study Group for Machine Translation and Automated Processing of Languages and Speech
François Portet http://lig-getalp.imag.fr/

MOEX   Evolving knowledge
Jérôme Euzenat http://moex.inria.fr/

MRIM   Multimedia Information Modeling and Retrieval
Georges Quénot http://mrim.imag.fr/

SLIDE  ScaLable Information Discovery and Exploitation
Sihem Amer-Yahia http://slide.liglab.fr/

STEAMER  Spatio-temporal information, adaptability, multimedia and knowledge representation
Marlène Villanova-Oliver http://steamer.imag.fr/

IIHM  Engineering Human-Computer Interaction
Laurence Nigay http://iihm.imag.fr/en/

Marvin  Artificial Intelligence and Robotics
Damien Pellier http://marvin.imag.fr/

MeTAH  Models and Technologies for Enhanced-Learning Systems
Isabelle Girault  https://metah.imag.fr/

M-PSI  Multimodale Perception and sociable Interaction
Dominique Vaufreydaz https://www.m-psi.fr/

CORSE  Compiler Optimization and Run-time SystEms
Fabrice Rastello https://team.inria.fr/corse/

DATAMOVE  Data Aware Large Scale Computing
Bruno raffin https://team.inria.fr/datamove/

DRAKKAR  Networks, IoT, and Security
Andrzej Duda https://drakkar.imag.fr/

ERODS  Efficient and RObust Distributed Systems
Didier Donsez http://erods.liglab.fr/

POLARIS  Performance analysis and Optimization of LARge Infrastructures and Systems
Arnaud legrand https://team.inria.fr/polaris/