9.00 Welcome

9.10 INVITED TALK:

Transition Invariants, Transition Predicate Abstraction, Counterexample-Guided Abstraction Refinement

A. Podelski

10.15 Coffee break

REGULAR PAPERS:

10:45 Heap-abstractions for an object-oriented calculus with thread classes

Erika Abraham, Andreas Gruner, Martin Steffen

11.15 Symbolic Execution with Separation Logic

J. Berdine, C. Calcagno, P. O'Hearn

11.45. Verifying Red-Black Trees

P. Baldan, A. Corradini, J. Esparza, T. Heindel, B. Konig, V. Kozioura

12.15 Lunch break

13. 45 Local Reasoning for Termination

Andreas Podelski and Ina Schaefer

PRESENTATIONS:

14.15 Read-only permissions and abstract predicate

Matthew Parkinson

14.45 Local Reasoning about Tree Update

C. Calcagno

15.15 Coffee Break

15.45 Boolean Heaps
          Thomas Wies

16.15 FIVE MINUTES MADNESS Session

17.00 (the latest) Closing.

20.00 Social dinner (TBA)