Séminaire VASY 2001
Autrans (Isère)


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