SPIN 2004

11th International SPIN Workshop on Model Checking of Software

April 1-3, 2004, Barcelona, Spain

A satellite workshop of

ETAPS 2004

In cooperation with


[Registration via ETAPS Web Site] [Final Programme] [Call for Papers] [Organizers and Committees]
[SPIN Policies] [History of SPIN Workshops] [The SPIN Tool Page]

The SPIN workshop is a forum for practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems. Techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on combination of explicit representations with symbolic representations, is the focus of this workshop. It has proven to be particularly suitable to analyze concurrent asynchronous systems. The workshop will focus on topics including theoretical and algorithmic foundations and tools, model derivation from code and code derivation from models, techniques for dealing with large and infinite state spaces, timing and applications. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering.

SPIN 2005

will be organised by Patrice Godefroid (Bell Labs) as a satellite workshop of CONCUR 2005, taking place in september 2005 in Santa Cruz, California


Invited speakers


Full Programme
and a few pictures


(New !) The proceedings of the SPIN workshop will appear as volume of Springer's series Lecture Notes in Computer series and will have the number 2989.

The proceedings are available using the following link

For inquiries please send email to spin04@imag.fr

[Susanne Graf] April 20, 2003