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 46.1
edited by David Delahaye
on 2020/07/09 12:53
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -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.
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>>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.