meeting -- June 28, 29 2010 -- Sophia

Participants

Michaël Armand, Frédéric Besson, Diego Caminha, Evelyne Contejean, Pierre-Emmanuel Cornilleau, Yoann Fagès-Tafanelli, Germain Faure, Pascal Fontaine, Benjamin Grégoire, Thomas Jensen, Arnaud Jobin, Chantal Keller, Florent Kirchner, Pierre Letouzey, Carine Pascal, Loïc Pottier, Virgile Prevosto, Christophe Ringeissen, Laurent Théry, Laurent Voisin.

Program

28 Juin
29 Juin : Livrables (T0+24)
  • D4 : Report on new combination methods for data structure and resource functions (C. Ringeissen)
  • D6 : Report on collaborative decision procedure for arithmetic (S. Conchon et al)
  • D10 : Report on inference of arithmetic invariants using decision procedures (A. Jobin)
  • D12 : A PCC prototype for resource usage analysis using linear decision procedures (F. Besson)
  • D14 : Preliminary report on integrating SMT proof witnesses into RODIN & Frama-C (C. Pascal)