Réunion Geccoo

Orsay
Bat 490-Salle 101

25 Octobre 2005

1  Participants

Sylvain Boulmé
Fabrice Bouquet
Julien Charles
Sylvain Conchon (matin)
Evelyne Contejean
Fredéric Dadeau
Jean-Christophe Filliâtre (après-midi)
Benjamin Grégoire
Julien Groslambert
Jacques Julliand
Claude Marché (après-midi)
Christine Paulin
Marie-Laure Potet
Marc Pouzet (matin)
Christophe Ringeissen
Nicolas Rousset
Nicolas Stouls

2  Programme

09h30
Accueil-café
10h00
Sylvain Boulmé, Représentation des états dans le raffinement d'ordre supérieur.
10h45
Christine Paulin, A propos de UML et JML
11h30
Julien Groslambert, Génération d'annotations avec l'outil JAG

12h15
Déjeûner

14h00
Julien Groslambert, Raffinements de modèles JML
14h45
Claude Marché, Invariants et sous-typage
15h30
Christophe Ringeissen, Proof-producing decision procedures and their combination
16h00
Discussion (Avancement des outils, préparation ParisStic)

17h00
Fin de la réunion

This document was translated from LATEX by HEVEA.