|
Séminaire VASY 2001
|
|
Programme scientifique
|
Mercredi 5 décembre 2001 |
|
|
9h00 |
Ouverture |
|
9h00 – 10h00 |
Jean-Bernard Stefani (Projet Sardes / INRIA Rhône-Alpes) Une introduction aux calculs de processus |
|
10h00 –11h00 |
Hubert Garavel Une introduction aux outils CADP |
|
11h00 – 11h30 |
Pause |
|
11h30 – 12h30 |
Frédéric Tronel EDEN: A Consensus-based Group Communication System |
|
12h30 – 16h00 |
Déjeuner |
|
16h00 – 17h00 |
Frédéric Lang SVL : un langage de scripts pour la vérification compositionnelle |
|
17h00 – 18h00 |
Solofo Ramangalahy (Bull) Présentation de l'action FormalFame |
|
Jeudi 6 décembre 2001 |
|
|
9h00 – 11h00 |
Radu Mateescu Introduction à la logique temporelle |
|
11h00 – 11h30 |
Pause |
|
11h30 – 12h30 |
Gilles Stragier Distributor : génération distribuée d'espace d'états |
|
12h30 – 16h00 |
Déjeuner |
|
16h00 – 16h45 |
Yves Denneulin (Laboratoire ID) Présentation générale du laboratoire ID |
|
Vendredi 7 décembre 2001 |
|
|
9h00 – 10h00 |
Hubert Garavel Une comparaison entre LOTOS et LOTOS NT |
|
10h00 – 11h00 |
Frédéric Lang Le langage NTIF (New Technology Intermediate Form) |
|
11h00 – 11h30 |
Pause |
|
11h30 – 12h30 |
Jean-Bernard Stefani (Projet Sardes / INRIA Rhône-Alpes) Le calcul Marvel |
|
12h30 – 14h00 |
Déjeuner |
|
14h00 – 16h00 |
Perspectives scientifiques de VASY en 2002 Animation: Hubert Garavel, Radu Mateescu, et Frédéric Lang |
|
16h00 |
Clôture |