Réunion Geccoo
Besançon
13-14 septembre 2004
1 Participants
Francoise Bellegarde
Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Fredéric Dadeau
Jean Duprat
Alain Giorgetti
Julien Groslambert
Olga Kouchnarenko
Marieke Huisman
Jacques Julliand
Bruno Legeard
Claude Marché
Hassan Mountassir
Christine Paulin
Marie-Laure Potet
Nicolas Stouls
Sorin Stratulat
Marc Utting
Calogero Zarba
2 Programme
-
Lundi 13 septembre
-
- 13h
- Déjeûner
- 14h00
- Accueil
- 14h15
- Claude Marché,
Travail fait avec Krakatoa sur l'applet Demoney (travail
réalisé en collaboration avec Vikrant Chaudhary)
- 15h00
- Frédéric Dadeau,
Avancée du travail sur l'animateur JML et perspectives
- 15h30
- Julien Groslambert,
Suite du travail sur la génération des obligations JML
de preuves de vivacités.
- 16h00
- Pause
- 16h30
- Sorin Stratulat,
Techniques de
preuves fondées sur le principe
de Fermat de la "descente infinie", contenant
les preuves par récurrence implicite et saturation
par resolution et par paramodulation.
- 19h00
- Petite visite de Besancon (optionnelle)
- 20h00
- Diner au Champagney (optionnel)
- Mardi 14 septembre
-
- 9h00
-
Nicolas Stouls,
Avancée sur l'étude de
cas (suite de l'exposé
de mai) : modèle B + expressions de propriétes de
securité à l'aide d'automates.
- 10h00
- Marieke Huisman,
Caractérisation de l'équivalence observationnelle
(une généralisation de non-interférence pour programmes
multi-threadés) dans une logique temporelle.
- 10h30
- Pause
- 11h00
- Discussion-Plan de travail
- 12h30
- Déjeuner
- 13h30
- Fin de la réunion
This document was translated from LATEX by
HEVEA.