The programme is preliminary and subject to change. Talk slots are 25 minutes including questions.

9:00 - 10:00

Leonardo de Moura
Invited Talk:
Regression Tests and the Inventor's Dilemma

10:00 - 10: 30 Coffee Break

10:30 - 12:00

Florian Merz, Carsten Sinz and Stephan Falke
Challenges in Comparing Software Verification Tools for C

Pascal Cuoq, Florent Kirchner and Boris Yakobowski
Benchmarking Static Analyzers

Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, and Laure Petrucci
Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency


12:00 - 13:30 Lunch

13:30 - 15:00

Roberto Bruttomesso and Alberto Griggio
Broadening the Scope of SMT-COMP: the Application Track

Olivier Roussel
Behind the Scene of Solvers Competitions: the "evaluation" Experience

Cesare Tinelli
Invited Talk:
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving


15:00 - 15:30 Coffee Break

15:30 - 18:00

Adam Pease and Stephan Schulz
Automated Large Knowledge Base Problem Creation for CASC

Zheng Cheng, Rosemary Monahan and James Power
A Simple Complexity Measurement for Software Verification and Software Testing

Jean-Christophe Filliatre, Andrei Paskevich and Aaron Stump
The 2nd Verified Software Competition: Experience Report

Bernhard Beckert and Sarah Grebing
Evaluating the Usability of Interactive Verification Systems

Marieke Huisman, Vladimir Klebanov and Rosemary Monahan
On the Organisation of Program Verification Competitions


19:30 Workshop Dinner

A table is reserved at Don Giovannis (scroll down for map)