Last modified by Julien Signoles on 2024/02/07 13:55
From version 13.1
edited by Alain Giorgetti
on 2020/06/10 09:37
Change comment: There is no comment for this version
To version 19.1
edited by Alain Giorgetti
on 2020/06/10 14:27
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -45,26 +45,34 @@
45 45  (% class="grid sortable filterable doOddEven" id="tableid" %)
46 46  (% class="sortHeader" %)|=Equipe|=Laboratoire|=Localisation|=Responsable|=Permanents
47 47  |Laboratoire de Sûreté et de Sécurité des Logiciels|CEA LIST|Saclay|Julien Signoles|19
48 -|DISC/VESONTIO|Institut FEMTO-ST/DISC|Besançon|Alain Giorgetti|3
48 +|DISC/VESONTIO|Institut FEMTO-ST|Besançon|Alain Giorgetti|3
49 49  |ACADIE|IRIT|Toulouse|Jan-Georg Smaus|7
50 50  |ACES|LTCI, Télécom Paris|Palaiseau|Florian Brandner|1
51 +|Cambium|Inria Paris|Paris|François Pottier|2
52 +|Celtique|IRISA|Rennes|Thomas Jensen|8
53 +|IGG|ICube|Strasbourg|Julien Narboux|5
51 51  |LMV|LIFO|Université d'Orléans|Frédéric Dabrowski|3
55 +|LoVe|LIPN|Villetaneuse|Micaela Mayero|8
52 52  |MaREL|LIRMM|Montpellier|David Delahaye|1
57 +|METHODES|SAMOVAR|Evry|Catherine Dubois|6
53 53  |PARKAS|DI ENS|Paris|Marc Pouzet|4
59 +|Partout|LIX & Inria Saclay|Saclay|Gabriel Scherer|1
60 +|SYS|CEDRIC|Paris|Pierre Courtieu|3
61 +|VALS|LRI|Gif-sur-Yvette|Jean-Christophe Filliâtre|10
54 54  |VeriDis|Inria Nancy & LORIA|Nancy|Stephan Merz|8
55 55  
56 -Les acteurs industriels sont : //(à venir)//
64 +Les acteurs industriels sont : (//à venir//)
57 57  
58 58  (//à 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//)
59 59  
60 60  = Interactions =
61 61  
62 -== GTs du GDR GPL
70 +== GTs du GDR GPL ==
63 63  
64 64  * GT HiFi (Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents)
65 65  * GT MTV2 (Méthodes de Tests pour la Validation et la Vérification)
66 66  
67 -== Autres GDRs
75 +== Autres GDRs ==
68 68  
69 69  * GDR IM, dont son GT SCALP (Structures formelles pour le CALcul et les Preuves, [[https://www.irif.fr/gt-scalp/index]])
70 70  * GDR Sécurité, dont son GT "Méthodes formelles pour la sécurité" ([[https://gtmfsec.irisa.fr/]])