Changes for page GT Langages et vérification de programmes (LVP)
Last modified by Julien Signoles on 2024/02/07 13:55
From version 39.1
edited by Julien Signoles
on 2021/02/15 14:40
on 2021/02/15 14:40
Change comment:
There is no comment for this version
To version 37.1
edited by Julien Signoles
on 2020/07/08 18:47
on 2020/07/08 18:47
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -22,7 +22,7 @@ 22 22 23 23 = Porteurs du GT = 24 24 25 -* [[Alain Giorgetti>>mailto:alain.giorgetti_AT_femto-st.fr]], Institut FEMTO-ST (UMR CNRS 6174), Université de Franche-Comté25 +* Alain Giorgetti (alain.giorgetti_AT_femto-st.fr), Institut FEMTO-ST (UMR CNRS 6174), Université de Franche-Comté 26 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 = ... ... @@ -37,7 +37,7 @@ 37 37 38 38 = Equipes = 39 39 40 -//Les équipes quisouhaitent rejoindre notre GT peuvent contacterles porteursà tout moment.//40 +//Les équipes intéressées par rejoindre notre GT peuvent contacter à tout moment les porteurs.// 41 41 42 42 Les **équipes** **académiques** impliquées sont : 43 43 ... ... @@ -58,7 +58,6 @@ 58 58 |GALaC|LRI|Orsay|Florent Hivert|1 59 59 |IG|XLIM|Poitiers|Laurent Fuchs|3 60 60 |IGG|ICube|Strasbourg|Julien Narboux|5 61 -|II (Informatique Interactive)|ENAC|Toulouse|Célia Picard|7 62 62 |LMV|LIFO|Orléans|Frédéric Dabrowski|3 63 63 |LoVe|LIPN|Villetaneuse|Micaela Mayero|8 64 64 |MaREL|LIRMM|Montpellier|David Delahaye|1 ... ... @@ -66,7 +66,7 @@ 66 66 |PARKAS|DI ENS|Paris|Marc Pouzet|4 67 67 |Partout|LIX & Inria Saclay|Saclay|Gabriel Scherer|1 68 68 |SYS|CEDRIC|Paris|Pierre Courtieu|3 69 -|VALS|L MF|Gif-sur-Yvette|Jean-Christophe Filliâtre|1068 +|VALS|LRI|Gif-sur-Yvette|Jean-Christophe Filliâtre|10 70 70 |VeriDis|Inria Nancy & LORIA|Nancy|Stephan Merz|8 71 71 |Vérification|IRIF|Paris|Mihaela Sighireanu|1 72 72 ... ... @@ -90,14 +90,13 @@ 90 90 91 91 = Interactions = 92 92 93 -Les interactions du GT LVP avec d'autres GTs ayant des sujets d'intérêt communs auront essentiellement lieu lorsde 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.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. 94 94 95 95 == GTs du GDR GPL == 96 96 97 97 * 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)// 98 -* GT [[GLIA>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20G%C3%A9nie%20Logiciel%20et%20Intelligence%20Artificielle%20%28GLIA%29/]] : Génie Logiciel et Intelligence Artificielle //(journée thématique possible : preuve assistée par l'IA)// 99 99 * 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)// 100 -* 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 Test pour la Validation et la Vérification //(journée thématique possible : combinaison d'analyses statiques et dynamiques)// 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)// 101 101 102 102 == Autres GDRs == 103 103