Fiche Laboratoire - LIG

• Environnements et outils pour le Génie Logiciel Industriel (ADELE (LIG))

• Control for safe Autonomic computing systems (CTRL-A (LIG))

• Systèmes d’Information - inGénierie et Modélisation Adaptables (SIGMA (LIG))

• Validation de Systèmes, Composants et Objets logiciels (VASCO (LIG))

• Calculs algorithmes programmes et preuves (CAPP (LIG))

• Construction de Systèmes Concurrents Vérifiés (CONVECS (LIG))

• Sound Programming of Adaptable Dependable Embedded Systems (SPADES (LIG))

• Types et raisonnement pour le Web (TYREX (LIG))

• Human Aware Artificial Intelligence (HAwAI (LIG))

• Ingénierie de l’Interaction Homme-Machine (IIHM (LIG))

• Interaction située avec les objets et environnements intelligents (PERVASIVE (LIG))

• Compiler Optimization and Run-time SystEms (CORSE (LIG))

• Mouvement de données pour le calcul haute performance (DATAMOVE (LIG))

• Réseaux, IoT et Sécurité (DRAKKAR (LIG))

• Efficient and RObust Distributed Systems (ERODS (LIG))

• Performance analysis and Optimization of LARge Infrastructures and Systems (POLARIS (LIG))

• Algorithmes, principes et théories pour l'acquisition de connaissances et l'apprentissage en collaboration, ex AMA (Analyse de données, Modélisation et Apprentissage automatique) (APTIKAL ex AMA (LIG))

• Groupe d’Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Pa (GETALP (LIG))

• Heterogeneous and Adaptive distributed DAta management Systems (HADAS (LIG))

• Évolution de la connaissance (MOEX (LIG))

• Modélisation et Recherche d’Information Multimédia (MRIM (LIG))

• ScaLable Information Discovery and Exploitation (SLIDE (LIG))

• Spatio-temporal information, adaptability, multimedia and knowledge representation (STEAMER (LIG))