**********************************************
*** Deadline for early registration by email is August 7 ***
*** Payment on arrival is possible ***
**********************************************

You are hereby invited to participate in the 7th International SPIN
workshop. Final program and registration material are available at the
web site.

The SPIN workshop is a forum for researchers interested in the subject
of automata-based, explicit-state model checking technologies for the
analysis and verification of asynchronous concurrent and distributed
systems. Besides 17 paper presentations there will be three invited
talks and three invited tool tutorials.