Last modified by Mireille Blay-Fornarino on 2023/05/23 11:17
From version 45.1
edited by David Delahaye
on 2020/07/09 12:50
Change comment: There is no comment for this version
To version 47.1
edited by David Delahaye
on 2020/07/10 11:05
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -8,7 +8,6 @@
8 8  
9 9  Les slides de la présentation du GT à la réunion d'organisation du GDR GPL 2021 sont également disponibles [[ici>>attach:Presentation_GT_GLIA__GDR_GPL.pdf]].
10 10  
11 -
12 12  == Porteurs du GT ==
13 13  
14 14  
... ... @@ -78,4 +78,4 @@
78 78  == Interactions ==
79 79  
80 80  
81 -Le GT cherchera à mettre en place des liens, comme par exemple des journées de travail communes ou l'organisation d'événements communs, avec d'autres groupes du GDR GPL, notamment les GT [[HiFi>>doc:Main.GTs.GT HiFi \: Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents.WebHome]], IDM, [[IE>>doc:Main.GTs.GT Ingénierie Des Exigences.WebHome]], Logiciel Éco-Responsable, LVP, MTV2, [[Rimel>>doc:Main.GTs.GT Rimel.WebHome]], Sécurité dans le développement logiciel, VL, YODA, ainsi qu’avec le [[GDR IA>>https://www.gdria.fr/]] et en particulier le [[GT CAVIAR>>https://www.gdria.fr/gt-caviar/]], qui rassemble des compétences autour de trois domaines de l’IA que sont la programmation par contraintes, l'apprentissage automatique et la fouille de données.
80 +Le GT cherchera à mettre en place des liens, comme par exemple des journées de travail communes ou l'organisation d'événements communs, avec d'autres groupes du GDR GPL, notamment les GT [[HiFi>>doc:Main.GTs.GT HiFi \: Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents.WebHome]], [[IDM>>doc:Main.GTs.GT Ingénierie Dirigée par les Modèles.WebHome]], [[IE>>doc:Main.GTs.GT Ingénierie Des Exigences.WebHome]], [[Logiciel Éco-Responsable>>doc:Main.GTs.Logiciel Vert.WebHome]], [[LVP>>doc:Main.GTs.GT Langages et vérification de programmes (LVP).WebHome]], [[MTV2>>doc:Main.GTs.GT "Méthodes de test pour la validation et la vérification" (MTV2 ).WebHome]], [[Rimel>>doc:Main.GTs.GT Rimel.WebHome]], [[Sécurité dans le développement logiciel>>doc:Main.GTs.GT La sécurité dans le développement logiciel.WebHome]], [[VL>>doc:Main.GTs.GT Rimel.WebHome]], [[YODA>>doc:Main.GTs.YODA.WebHome]], ainsi qu’avec le [[GDR IA>>https://www.gdria.fr/]] et en particulier le [[GT CAVIAR>>https://www.gdria.fr/gt-caviar/]], qui rassemble des compétences autour de trois domaines de l’IA que sont la programmation par contraintes, l'apprentissage automatique et la fouille de données.