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
Discussion
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 Discussion
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 Discussion
19:30 Workshop Dinner
A table is reserved at Don Giovannis (scroll down for map) |