Réunion Geccoo

Grenoble

23 janvier 2004

1   Participants

Francoise Bellegarde
Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Sylvain Conchon
Evelyne Contejean
Fredéric Dadeau
Jean-Christophe Filliâtre
Julien Groslambert
Olga Kouchnarenko
Marieke Huisman
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls

2   Programme

10h00
Accueil café
10h45
Point sur les outils
11h45
Etude de cas : Demoney Transparents postscript
Christine Paulin
14h
Enforcing high-level security properties using JML Transparents pdf

Marieke Huisman
Rapport de Recherche Enforcing High-Level Security Properties For Applets, Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
15h
Contribution au raffinement
Françoise Bellegarde
17h
Fin de la réunion

This document was translated from LATEX by HEVEA.