Preliminary Program

9.20-9.30: Opening
9.30-10.30: Invited talk: Matthew Parkinson
Separation Logic, Concurrency and Java
10.30-11.00: Coffee break
11.00-12.30: Contributed papers
Bernhard Beckert and Vladimir Klebanov
A Dynamic Logic for Deductive Verification of Concurrent Java Programs With Condition Variables
David Cunningham, Sophia Drossopoulou and Susan Eisenbach
Universe Types for Race Safety
Marieke Huisman and Clement Hurlin
The Stability Problem for Verification of Concurrent Object-Oriented Programs
12.30-14.30: Lunch
14.30-15:30 Invited talk: Bart Jacobs
Subsystems: Reconciling Locks and Unchecked Exceptions
15.30-16.00: Coffee break
16.00-17.00: Contributed papers
David Aspinall and Jaroslav Sevcik
Java Memory Model Examples: Good, Bad and Ugly
Marieke Huisman and Gustavo Petri
The Java Memory Model: a Formal Explanation
The workshop proceedings are available as technical report ICIS-R07021 at University of Nijmegen.