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 LATEX par HEVEA