Last modified by Julien Signoles on 2024/02/07 13:55
From version 38.2
edited by Alain Giorgetti
on 2020/07/10 08:57
Change comment: There is no comment for this version
To version 38.3
edited by Alain Giorgetti
on 2020/07/10 09:02
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -94,8 +94,9 @@
94 94  == GTs du GDR GPL ==
95 95  
96 96  * GT [[CLAP>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20compilation/]] : Compilation, Langages, Analyses, Parallélisme// (journée thématique possible : compilation certifiée)//
97 +* GT [[GLIA>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20G%C3%A9nie%20Logiciel%20et%20Intelligence%20Artificielle%20%28GLIA%29/]] : Génie Logiciel et Intelligence Artificielle //(journée thématique possible : preuve assistée par l'IA)//
97 97  * GT [[HiFi>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20HiFi%20%3A%20M%C3%A9thodes%20Formelles%20et%20Programmation%20Haute%20Fid%C3%A9lit%C3%A9%20pour%20Syst%C3%A8mes%20Critiques%20%C3%89mergents/]] : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents //(journée thématique possible : spécification formelle de systèmes ouverts)//
98 -* GT [[MTV2>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20%22M%C3%A9thodes%20de%20test%20pour%20la%20validation%20et%20la%20v%C3%A9rification%22%20%28MTV2%20%29/]] : Méthodes de Tests pour la Validation et la Vérification //(journée thématique possible : combinaison d'analyses statiques et dynamiques)//
99 +* GT [[MTV2>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20%22M%C3%A9thodes%20de%20test%20pour%20la%20validation%20et%20la%20v%C3%A9rification%22%20%28MTV2%20%29/]] : Méthodes de Test pour la Validation et la Vérification //(journée thématique possible : combinaison d'analyses statiques et dynamiques)//
99 99  
100 100  == Autres GDRs ==
101 101