Skip to Content
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 35.1
edited by Julien Signoles
on 2020/07/08 18:46
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
... ... @@ -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, CEA LIST
26 +* [[Julien Signoles>>mailto:julien.signoles_AT_cea.fr]], CEA LIST, Laboratoire de Sûreté et de Sécurité des Logiciels
27 27  
28 28  = Animations =
29 29  
... ... @@ -37,14 +37,16 @@
37 37  
38 38  = Equipes =
39 39  
40 -Les équipes académiques impliquées sont :
40 +//Les équipes intéressées par rejoindre notre GT peuvent contacter à tout moment les porteurs.//
41 41  
42 +Les **équipes** **académiques** impliquées sont :
43 +
42 42  {{velocity}}
43 43  $xwiki.ssfx.use("js/xwiki/table/table.css")
44 44  $xwiki.jsfx.use("js/xwiki/table/tablefilterNsort.js", true)
45 45  {{/velocity}}
46 46  
47 -(% class="grid sortable filterable doOddEven" id="tableid" %)
49 +(% 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
... ... @@ -67,7 +67,7 @@
67 67  |VeriDis|Inria Nancy & LORIA|Nancy|Stephan Merz|8
68 68  |Vérification|IRIF|Paris|Mihaela Sighireanu|1
69 69  
70 -Les acteurs industriels sont :
72 +Les **acteurs** **industriels** sont :
71 71  
72 72  {{velocity}}
73 73  $xwiki.ssfx.use("js/xwiki/table/table.css")
... ... @@ -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" %)
79 +(% class="doOddEven filterable grid sortable" id="table2id" %)
78 78  (% class="sortHeader" %)|=Entreprise|=Equipe|=Localisation|=Représentant|=Permanents
79 -|Adacore||Paris|Claire Dross|9
81 +|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
83 +|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
85 +|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  
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 +
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)
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)//
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/]])
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é)//