Kick-off meeting -- January 26, 27 2009 -- Irisa, Rennes

Participants

Frédéric Besson, Diego Caminha, Sylvain Conchon, Pascal Fontaine, Alain Giorgetti, Thomas Jensen, Stéphane Lescuyer, Pierre Letouzey, Assia Mahboubi, Stephan Merz, David Pichardie, Loïc Pottier, Virgile Prevosto, Christophe Ringeissen, Laurent Théry, Laurent Voisin.

Program

Lundi 26 Janvier
12h00-13h30 : buffet
13h30-14h00 : introduction et tour de table
14h00-15h30 : présentation des activités des équipes
  Cea List, Nancy, Orsay
15h30-16h00 : pause café
16h00-17h30 : présentation des activités des équipes
  Sophia-Antipolis, Systerel, Rennes

Diner en ville le soir

Mardi 27 Janvier
09h00-10h30 : WP1 : decision procedures and their combination

• Requirement analysis (Systerel)
• Expressivness (Nancy)
• Efficiency (Orsay)
• Proof witnesses for decision procedures (Rennes)

10h30-11h00 : pause café
11h00-12h30 : WP2 : Integrating decision procedures into proof assistants and program verification tools

• Integrating decision procedures into proof assistants (Sophia)
• Integrating decision procedures into PCC (Rennes)
• Integrating decision prodecures into Rodin (Systerel)
• Integrating decision prodecures into Frama-C (CEA)

12h30-14h00 : buffet

Informations pratiques

Comment venir à l'Irisa
Où dormir (une sélection)