LaBRI





Journées de travail entre :

Laboratoire de Spécification et Vérification
ENS de Cachan.

et :

Modélisation, Vérification et Test des systèmes informatisés
LaBRI, Université Bordeaux I.

Les lundi 13 et mardi 14 octobre 1997
Salle G.T. 3, LaBRI, Rez-de-chaussée


Programme du lundi 13 octobre 1997


11h15-12h15 : Jérome Dormoy (LaBRI) 12h30-14h00 : Pause repas.

14h00-15h00 : Bertrand Le Saëc (LaBRI)

15h00-16h00 : Laurent Fribourg (LSV) 16h00-16h15 : Pause café.

16h15-17h15 : Gérard Cécé (LSV)

17h15-18h15 : Alain Griffault (LaBRI)

Programme du mardi 14 octobre 1997


9h00-10h00 : Antoine Rauzy (LaBRI) 10h00-10h15 : Pause café.

10h15-11h15 : Catherine Dufourd (LSV)

11h15-12h15 : Gérald Point (LaBRI) 12h30-14h00 : Pause repas.

14h00-15h00 : Raphaël Meyer (LSV)

15h00-16h00 : Yan Jurski (LSV)

Organisation des journées

  • Anne Dicky, bureau 315, LaBRI, tél. (05-56-84) 60-87, Anne.Dicky@labri.u-bordeaux.fr
  • Alain Griffault, bureau 205, LaBRI, tél. (05-56-84) 69-15, Alain.Griffault@labri.u-bordeaux.fr

  • Navigation

  • Equipe Modélisation, Vérification et Test des systèmes informatisés