Conditions Générales d'Utilisation
GT Logiciel Eco-Responsable
LVP : Langages et vérification de programmes
Description du groupe LVP
Actualités du groupe LVP
La Sécurité dans le développement logiciel
Description du groupe GL_Sec
Actualités du groupe GL_Sec
HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents
GLIA : Génie Logiciel et Intelligence Artificielle
GT Debugging
CLAP : Compilation, Langages, Analyses, Parallélisme
Responsables
Ludovic Henrio
Frédéric Dabrowski
Site web du groupe : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20compilation/
ALROB : Architectures Logicielles pour la ROBotique autonome et les systèmes auto-adaptables
Responsables :
Thématique scientifique
ALROB : Architectures Logicielles pour la ROBotique autonome et les systèmes adaptables