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

Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.AlainGiorgetti
	1	+XWiki.signoles

Content

...	...	@@ -48,16 +48,21 @@
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|CEA LIST|Saclay|Julien Signoles|20
	51	+|Laboratoire de Sûreté et de Sécurité des Logiciels (LSL)|CEA LIST|Palaiseau|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
55	55	|APR|LIP6|Paris|Antoine Miné|3
56	56	|Cambium|Inria Paris|Paris|François Pottier|2
	57	+|CASH|LIP|Lyon|Matthieu Moy|6
57	57	|Celtique|IRISA|Rennes|Thomas Jensen|8
58		-|GALaC|LRI|Orsay|Florent Hivert|1
	59	+|CRI (Centre de Recherche en Informatique)|CRI, Mines ParisTech|Fontainebleau|Olivier Hermant|2
	60	+|DTIS|ONERA|Toulouse & Palaiseau|David Chemouil|4
	61	+|GALaC|LISN|Orsay|Florent Hivert|1
59	59	|IG|XLIM|Poitiers|Laurent Fuchs|3
60	60	|IGG|ICube|Strasbourg|Julien Narboux|5
	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
61	61	|LMV|LIFO|Orléans|Frédéric Dabrowski|3
62	62	|LoVe|LIPN|Villetaneuse|Micaela Mayero|8
63	63	|MaREL|LIRMM|Montpellier|David Delahaye|1
...	...	@@ -65,7 +65,7 @@
65	65	|PARKAS|DI ENS|Paris|Marc Pouzet|4
66	66	|Partout|LIX & Inria Saclay|Saclay|Gabriel Scherer|1
67	67	|SYS|CEDRIC|Paris|Pierre Courtieu|3
68		-|VALS|LRI|Gif-sur-Yvette|Jean-Christophe Filliâtre|10
	73	+|VALS|LMF|Gif-sur-Yvette|Jean-Christophe Filliâtre|10
69	69	|VeriDis|Inria Nancy & LORIA|Nancy|Stephan Merz|8
70	70	|Vérification|IRIF|Paris|Mihaela Sighireanu|1
71	71