Réunion Geccoo

Sophia-Antipolis

6-7 mai 2004

1   Participants

Gilles Barthe
Francoise Bellegarde
Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Fredéric Dadeau
Jean Duprat
Julien Groslambert
Marieke Huisman
Jacques Julliand
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls
Sorin Stratulat
Calogero Zarba

2   Programme

Jeudi 6 mai

12h30
Déjeûner
14h
Point sur les outils
15h30
Pause café
16h00
Cas d'étude : Spécification de Demoney
17h00
Discussion
18h00
Fin de la journée
20h00
Dîner à Antibes
Vendredi 7 mai

9h00
Calogero Zarbo (post doc Nancy) - working plans
9h30
Frédéric Dadeau - Animation symbolique de spécifications JML Transparents pdf
10h00
Pause café
10h30
Julien Groslambert - Etendre JML pour vérifier quelques vivacités
11h00
Sylvain Boulmé - conception d'un langage de spécification objet Transparents postscript

11h30
Discussion, plan de travail
12h30
Déjeûner
14h00
Fin de la rencontre

This document was translated from LATEX by HEVEA.