Changes for page GT Langages et vérification de programmes (LVP)

Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -23,7 +23,7 @@
23	23	= Porteurs du GT =
24	24
25	25	* [[Alain Giorgetti>>mailto: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]], Université Paris-Saclay, 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
...	...	@@ -48,7 +48,7 @@
48	48
49	49	(% class="doOddEven filterable grid sortable" id="tableid" %)
50	50	(% class="sortHeader" %)|=Equipe|=Laboratoire|=Localisation|=Représentant|=Permanents
51		-|Laboratoire de Sûreté et de Sécurité des Logiciels (LSL)|CEA LIST|Palaiseau|Julien Signoles|20
	51	+|Laboratoire de Sûreté et de Sécurité des Logiciels (LSL)|CEA LIST|Saclay|Julien Signoles|20
52	52	|DISC/VESONTIO|Institut FEMTO-ST|Besançon|Alain Giorgetti|3
53	53	|ACADIE|IRIT|Toulouse|Jan-Georg Smaus|7
54	54	|ACES|LTCI, Télécom Paris|Palaiseau|Florian Brandner|1
...	...	@@ -62,18 +62,16 @@
62	62	|IG|XLIM|Poitiers|Laurent Fuchs|3
63	63	|IGG|ICube|Strasbourg|Julien Narboux|5
64	64	|II (Informatique Interactive)|ENAC|Toulouse|Célia Picard|7
65		-|Spécification et Vérification de Systèmes|LACL|Créteil|Frédéric Gava|1
66	66	|LMV|LIFO|Orléans|Frédéric Dabrowski|3
67	67	|LoVe|LIPN|Villetaneuse|Micaela Mayero|8
68	68	|MaREL|LIRMM|Montpellier|David Delahaye|1
69	69	|METHODES|SAMOVAR|Evry|Catherine Dubois|6
70		-|MTV|LABRI|Bordeaux|Hugo Gimbert|9
71	71	|PARKAS|DI ENS|Paris|Marc Pouzet|4
72	72	|Partout|LIX & Inria Saclay|Saclay|Gabriel Scherer|1
73	73	|SYS|CEDRIC|Paris|Pierre Courtieu|3
74	74	|VALS|LMF|Gif-sur-Yvette|Jean-Christophe Filliâtre|10
75	75	|VeriDis|Inria Nancy & LORIA|Nancy|Stephan Merz|8
76		-|Vérification|IRIF|Paris|Giuseppe Castagna|1
	74	+|Vérification|IRIF|Paris|Mihaela Sighireanu|1
77	77
78	78	Les **acteurs** **industriels** sont :
79	79
...	...	@@ -87,11 +87,9 @@
87	87	|Adacore| |Paris|Claire Dross|9
88	88	|ANSSI|Laboratoire Sécurité du Logiciel|Paris|Patricia Mouy|4
89	89	|Edukera| |Neuilly-sur-Seine|Benoît Rognier|1
90		-|Huawei Paris Research Center| |Paris|Gaétan Hains|3
91	91	|Mitsubishi Electric R&D Centre Europe|Information and Network Systems (INS)|Rennes|David Mentré|4
92	92	|Nomadic Labs| |Paris|Julien Tesson|15
93	93	|Thales|LSEC/Méthodes Formelles|Palaiseau|Nikolai Kosmatov|3
94		-|TrustInSoft| |Paris|Raphaël Rieu-Helft|17
95	95
96	96	(//à 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//)
97	97