Réunion Geccoo

INRIA Futurs, Parc Club, Bat G

15 janvier 2007


1  Participants

Sylvain Boulmé
Julien Charles
Sylvain Conchon
Jean-François Couchot
Evelyne Contejean
Fredéric Dadeau
Alain Giorgetti
Jean Goubault
Thierry Hubert
Marieke Huisman
Johannes Kanig
Claude Marché
Aurélien Oudot
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls


2  Programme

12h30
Déjeûner
13h30
C. Paulin Présentation générale
14h00
M. Huisman Langages de haut niveau pour les propriétés de sécurité
14h30
M.-L. Potet, Modularité et Raffinement
15h00
Pause café
15h30
C. Marché, Des modèles adaptés à la génération d'obligations
16h00
S. Ranise Démonstration automatique d'obligations de preuve
16h30
A. Giorgetti, Détection d'erreurs
17h00
Questions, discussions
17h30
Fin de la réunion

Ce document a t traduit de LATEX par HEVEA