Réunion Geccoo

1  Participants

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^AT_EX par H^EV^EA