[TYPES/announce] SPIN 2008: Call for Participation

[Rupak Majumdar]

Call for Participation
----------------------
SPIN 2008: 15th International SPIN Workshop on
Model Checking of Software
August 10-12, 2008, Los Angeles, USA
http://compilers.cs.ucla.edu/spin08

The conference program (and invited speaker information) is available at:
http://compilers.cs.ucla.edu/spin08/program.html

Registration information is available at:
http://compilers.cs.ucla.edu/spin08/registration/index.php

Early registration deadline is July 27, 2008.