Last modified by Julien Signoles on 2024/02/07 13:55
From version 1.1
edited by Alain Giorgetti
on 2020/06/02 15:34
Change comment: There is no comment for this version
To version 1.2
edited by Alain Giorgetti
on 2020/06/02 17:10
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,3 +1,5 @@
1 += Objectifs =
2 +
1 1  Les thèmes du groupe de travail sont :
2 2  
3 3  * La conception de langages plus sûrs et plus expressifs;
... ... @@ -5,4 +5,28 @@
5 5  * La vérification des outils de développement : interpréteurs, compilateurs, analyseurs statiques, générateurs de code, etc;
6 6  * La vérification de théorèmes, d'algorithmes et de programmes.
7 7  
8 -
10 += Porteurs du GT =
11 +
12 +* Alain Giorgetti, institut FEMTO-ST, université de Franche-Comté
13 +* Julien Signoles, CEA List
14 +
15 += Animations =
16 +
17 +Les actions d'animations envisagées
18 +
19 += Equipes =
20 +
21 + Les équipes impliquées, dont :
22 +
23 +* Equipe AA, Laboratoire, Lieu
24 +** le nombre de permanents impliqués dans le GT et
25 +** le nom d'un représentant dans l’équipe
26 +
27 +(A faire ; sur la page (https:~/~/gdrgpl.myxwiki.org/xwiki/bin/view/Maps/)  : un positionnement de l’équipe sur la carte en
28 +faisant référence à ce  GT dans la description de l’équipe)
29 +
30 += Interactions =
31 +
32 +Avec d'autres GTs, GDR, ...
33 +Si des GT identifient dès à présent des interactions avec d’autres GTs en cours de construction ou reconstruction ils le
34 +précisent.