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

Summary

Details

Page properties
Content
... ... @@ -1,5 +3,3 @@
1 -= Objectifs =
2 -
3 3  Les thèmes du groupe de travail sont :
4 4  
5 5  * La conception de langages plus sûrs et plus expressifs;
... ... @@ -7,28 +7,4 @@
7 7  * La vérification des outils de développement : interpréteurs, compilateurs, analyseurs statiques, générateurs de code, etc;
8 8  * La vérification de théorèmes, d'algorithmes et de programmes.
9 9  
10 -= Porteurs du GT =
11 -
12 -* Alain Giorgetti, institut FEMTO-ST (UMR CNRS 6174), 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.
8 +