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.