Changes for page GT Langages et vérification de programmes (LVP)
Last modified by Julien Signoles on 2024/02/07 13:55
From version 37.3
edited by Alain Giorgetti
on 2020/07/09 10:04
on 2020/07/09 10:04
Change comment:
There is no comment for this version
To version 37.2
edited by Alain Giorgetti
on 2020/07/09 10:01
on 2020/07/09 10:01
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -89,7 +89,7 @@ 89 89 90 90 = Interactions = 91 91 92 -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. 93 93 94 94 == GTs du GDR GPL == 95 95