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)