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

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.signoles
1 +XWiki.AlainGiorgetti
Content
... ... @@ -23,7 +23,7 @@
23 23  = Porteurs du GT =
24 24  
25 25  * Alain Giorgetti (alain.giorgetti_AT_femto-st.fr), Institut FEMTO-ST (UMR CNRS 6174), Université de Franche-Comté
26 -* [[Julien Signoles>>mailto:julien.signoles_AT_cea.fr]], CEA LIST, Laboratoire de Sûreté et de Sécurité des Logiciels
26 +* Julien Signoles, CEA LIST
27 27  
28 28  = Animations =
29 29  
... ... @@ -37,16 +37,14 @@
37 37  
38 38  = Equipes =
39 39  
40 -//Les équipes intéressées par rejoindre notre GT peuvent contacter à tout moment les porteurs.//
40 +Les équipes académiques impliquées sont :
41 41  
42 -Les **équipes** **académiques** impliquées sont :
43 -
44 44  {{velocity}}
45 45  $xwiki.ssfx.use("js/xwiki/table/table.css")
46 46  $xwiki.jsfx.use("js/xwiki/table/tablefilterNsort.js", true)
47 47  {{/velocity}}
48 48  
49 -(% class="doOddEven filterable grid sortable" id="tableid" %)
47 +(% class="grid sortable filterable doOddEven" id="tableid" %)
50 50  (% class="sortHeader" %)|=Equipe|=Laboratoire|=Localisation|=Représentant|=Permanents
51 51  |Laboratoire de Sûreté et de Sécurité des Logiciels|CEA LIST|Saclay|Julien Signoles|20
52 52  |DISC/VESONTIO|Institut FEMTO-ST|Besançon|Alain Giorgetti|3
... ... @@ -69,7 +69,7 @@
69 69  |VeriDis|Inria Nancy & LORIA|Nancy|Stephan Merz|8
70 70  |Vérification|IRIF|Paris|Mihaela Sighireanu|1
71 71  
72 -Les **acteurs** **industriels** sont :
70 +Les acteurs industriels sont :
73 73  
74 74  {{velocity}}
75 75  $xwiki.ssfx.use("js/xwiki/table/table.css")
... ... @@ -76,13 +76,13 @@
76 76  $xwiki.jsfx.use("js/xwiki/table/tablefilterNsort.js", true)
77 77  {{/velocity}}
78 78  
79 -(% class="doOddEven filterable grid sortable" id="table2id" %)
77 +(% class="grid sortable filterable doOddEven" id="table2id" %)
80 80  (% class="sortHeader" %)|=Entreprise|=Equipe|=Localisation|=Représentant|=Permanents
81 -|Adacore| |Paris|Claire Dross|9
79 +|Adacore||Paris|Claire Dross|9
82 82  |ANSSI|Laboratoire Sécurité du Logiciel|Paris|Patricia Mouy|4
83 -|Edukera| |Neuilly-sur-Seine|Benoît Rognier|1
81 +|Edukera||Neuilly-sur-Seine|Benoît Rognier|1
84 84  |Mitsubishi Electric R&D Centre Europe|Information and Network Systems (INS)|Rennes|David Mentré|4
85 -|Nomadic Labs| |Paris|Julien Tesson|15
83 +|Nomadic Labs||Paris|Julien Tesson|15
86 86  |Thales|LSEC/Méthodes Formelles|Palaiseau|Nikolai Kosmatov|3
87 87  
88 88  (//à 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//)
... ... @@ -89,15 +89,12 @@
89 89  
90 90  = Interactions =
91 91  
92 -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.
93 -
94 94  == GTs du GDR GPL ==
95 95  
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 [[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)//
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)
99 99  
100 100  == Autres GDRs ==
101 101  
102 -* 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)//
103 -* 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é)//
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/]])