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

Lilian Burdy - JACK
Claude Marché - Krakatoa Transparents postscript
Silvio Ranise - haRVey
Sorin Stratulat - Spike

15h30

Pause café

16h00

Cas d'étude : Spécification de Demoney

Jean Duprat Proposal for a specification of Demoney in Coq
Nicolas Stouls DEMONEY : Modélisation en B et vérification de propriétés

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 L^AT_EX by H^EV^EA.