Last modified by Julien Signoles on 2024/02/07 13:55
From version 31.1
edited by Alain Giorgetti
on 2020/07/08 09:55
Change comment: There is no comment for this version
To version 32.1
edited by Julien Signoles
on 2020/07/08 18:38
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.AlainGiorgetti
1 +XWiki.signoles
Content
... ... @@ -44,7 +44,7 @@
44 44  $xwiki.jsfx.use("js/xwiki/table/tablefilterNsort.js", true)
45 45  {{/velocity}}
46 46  
47 -(% class="grid sortable filterable doOddEven" id="tableid" %)
47 +(% class="doOddEven filterable grid sortable" id="tableid" %)
48 48  (% class="sortHeader" %)|=Equipe|=Laboratoire|=Localisation|=Représentant|=Permanents
49 49  |Laboratoire de Sûreté et de Sécurité des Logiciels|CEA LIST|Saclay|Julien Signoles|20
50 50  |DISC/VESONTIO|Institut FEMTO-ST|Besançon|Alain Giorgetti|3
... ... @@ -74,13 +74,13 @@
74 74  $xwiki.jsfx.use("js/xwiki/table/tablefilterNsort.js", true)
75 75  {{/velocity}}
76 76  
77 -(% class="grid sortable filterable doOddEven" id="table2id" %)
77 +(% class="doOddEven filterable grid sortable" id="table2id" %)
78 78  (% class="sortHeader" %)|=Entreprise|=Equipe|=Localisation|=Représentant|=Permanents
79 -|Adacore||Paris|Claire Dross|9
79 +|Adacore| |Paris|Claire Dross|9
80 80  |ANSSI|Laboratoire Sécurité du Logiciel|Paris|Patricia Mouy|4
81 -|Edukera||Neuilly-sur-Seine|Benoît Rognier|1
81 +|Edukera| |Neuilly-sur-Seine|Benoît Rognier|1
82 82  |Mitsubishi Electric R&D Centre Europe|Information and Network Systems (INS)|Rennes|David Mentré|4
83 -|Nomadic Labs||Paris|Julien Tesson|15
83 +|Nomadic Labs| |Paris|Julien Tesson|15
84 84  |Thales|LSEC/Méthodes Formelles|Palaiseau|Nikolai Kosmatov|3
85 85  
86 86  (//à faire sur la page ([[https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/]]) : positionnement de chaque équipe sur la carte en faisant référence à ce GT dans la description de l'équipe//)
... ... @@ -87,12 +87,15 @@
87 87  
88 88  = Interactions =
89 89  
90 +Les interactions du GT LVP avec d'autres GTs ayant des sujets d'intérêt communs auront essentiellement lieu _via_ des journées communes. Celles-ci pourraient notamment mettre l'accent sur une thématique spécifique intéressant les deux GTs. Les interactions auront également lieu à une échelle plus individuelle : plusieurs chercheurs de notre GT participent également à un (voire plusieurs) GT(s) mentionné(s) ici.
91 +
90 90  == GTs du GDR GPL ==
91 91  
92 -* GT HiFi (Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents)
93 -* GT MTV2 (Méthodes de Tests pour la Validation et la Vérification)
94 +* 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
95 +* 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
96 +* 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
94 94  
95 95  == Autres GDRs ==
96 96  
97 -* GDR IM, dont son GT SCALP (Structures formelles pour le CALcul et les Preuves, [[https://www.irif.fr/gt-scalp/index]])
98 -* GDR Sécurité, dont son GT "Méthodes formelles pour la sécurité" ([[https://gtmfsec.irisa.fr/]])
100 +* GDR IM, dont son GT [[SCALP>>https://www.irif.fr/gt-scalp/index]] (Structures formelles pour le CALcul et les Preuves) : journée thématique possible = théorie et pratique de la preuve de programmes
101 +* GDR Sécurité, dont son GT [["Méthodes formelles pour la sécurité">>https://gtmfsec.irisa.fr/]] : journée thématique possible = vérification de programmes pour la sécurité