Future Events

SPIN 2008
The 15th International SPIN Workshop on Model Checking Software.
University of California - Los Angeles, August 10-12, 2008.
General Chair: Jens Palsberg
Program Chairs: Klaus Havelund and Rupak Majumdar.