Réunion Geccoo

Orsay, bât 490, salle 101

8 septembre 2003

1   Participants

Françoise Bellegarde
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Fredéric Dadeau
Alain Giorgetti
Jacques Julliand
Marieke Huisman
Bruno Legeard
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise

2   Programme

10h00
Accueil café
10h45
Krakatoa : présentation Transparents postscript
Claude Marché
11h15
L'outil Jack & Propriétés de sécurité.
Lilian Burdy
11h45
haRVey: a System for First-Order Satisfiability Checking and some Applications
Silvio Ranise
14h
Evaluation symbolique de modèles formels de spécification en programmation en logique avec contraintes - Application à la Validation et Vérification dans le cadre du projet GECCOO".
Bruno Legeard
14h30
Modularité et raffinement : l'approche B.
Marie-Laure Potet-Sylvain Boulmé
15h
Vers un langage de spécification modulaire
Marie-Laure Potet-Sylvain Boulmé
Transparents advi Transparents postscript
15h45
Discussions sur le programme de travail
17h
Fin de la réunion

This document was translated from LATEX by HEVEA.