Réunion Geccoo
INRIA Sophia-Antipolis, Salle Coriolis, batiment Galois
12 juin 2006
1
Participants
Sylvain Boulmé
Julien Charles
Sylvain Conchon
Fredéric Dadeau
Alain Giorgetti
Julien Groslambert
Marieke Huisman
Christine Paulin
Silvio Ranise
2
Programme
10h00
Sylvain Conchon, Conception, implantation et preuves de correction d'un démonstrateur automatique pour la logique du 1er ordre
10h30
Silvio Ranise,
Deciding Extension of the theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
11h00
Pause café
11h30
Julien Groslambert,
Développements récents et perspectives
12h30
Déjeûner
14h00
Sylvain Boulmé, Relachement des restrictions B sur la composition d'invariants, en utilisant les idées de Spec#
14h30
Discussion, démos
17h00
Fin de la réunion
Ce document a été traduit de L
A
T
E
X par
H
E
V
E
A