Changes for page GT Langages et vérification de programmes (LVP)
Last modified by Julien Signoles on 2024/02/07 13:55
From version 63.1
edited by Julien Signoles
on 2023/06/08 11:16
on 2023/06/08 11:16
Change comment:
There is no comment for this version
To version 59.1
edited by Julien Signoles
on 2023/02/08 09:25
on 2023/02/08 09:25
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -23,7 +23,6 @@ 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 -* [[Nicolas Magaud>>https://dpt-info.u-strasbg.fr/~~magaud/]], ICube (UMR CNRS 7357), Université de Strasbourg 27 27 * [[Julien Signoles>>mailto:julien.signoles_AT_cea.fr]], Université Paris-Saclay, CEA, List 28 28 29 29 = Animations = ... ... @@ -64,7 +64,7 @@ 64 64 |IG|XLIM|Poitiers|Laurent Fuchs|3 65 65 |IGG|ICube|Strasbourg|Julien Narboux|5 66 66 |II (Informatique Interactive)|ENAC|Toulouse|Célia Picard|7 67 -|Spécification et Vérification de Systèmes|LACL|Créteil|Frédéric Gava| 366 +|Spécification et Vérification de Systèmes|LACL|Créteil|Frédéric Gava|1 68 68 |LMV|LIFO|Orléans|Frédéric Dabrowski|3 69 69 |LoVe|LIPN|Villetaneuse|Micaela Mayero|8 70 70 |LSL (Laboratoire de Sûreté et de Sécurité des Logiciels)|CEA LIST|Palaiseau|Julien Signoles|20 ... ... @@ -102,6 +102,7 @@ 102 102 |Adacore| |Paris|Claire Dross|9 103 103 |ANSSI|Laboratoire Sécurité du Logiciel|Paris|Patricia Mouy|4 104 104 |Edukera| |Neuilly-sur-Seine|Benoît Rognier|1 104 +|Huawei Paris Research Center| |Paris|Gaétan Hains|3 105 105 |Mitsubishi Electric R&D Centre Europe|Information and Network Systems (INS)|Rennes|David Mentré|4 106 106 |Nomadic Labs| |Paris|Julien Tesson|15 107 107 |OCamlPro| |Paris|Julien Blond|7