SPIN 2004

11th International SPIN Workshop on Model Checking of Software

April 1-3, 2004, Barcelona, Spain

Paper Submission

SPIN 2004 solicits previously unpublished, currently unsubmitted, original contributions addressing theoretical, experimental and applied problems in model checking of software artifacts. Particular topics include: Submitted papers may not necessarily focus on tools and model checking approaches based on explicit state space representations as they are used in SPIN and other tools. Nevertheless, unless obvious from the paper, it is expected that authors show the relationship of their work to explicit-state model checking, possibly by showing how the results could be applied to the SPIN tool or one of the other relevant explicit state space validation tools.

We solicit submissions of three categories:

Full papers: submissions are limited to 18 pages, and should adhere to Springer Verlag's LNCS format, preferably using LaTeX. The format of the submissions should be either pdf or postscript.

Tool presentations: SPIN 2004 solicits proposals for the demonstration of tools pertinent to the technical objective of this workshop. Proposals should be submitted as a summary of up to 5 pages (using Springer Verlag's LNCS format) which will be included in the workshop proceedings. The title of the summary should clearly indicate that this is a tool demonstration summary. Longer tool-related contributions should be submitted as technical papers.

Tutorials: SPIN 2004 solicits proposals for introductory, advanced and industrial application tutorials on all topics pertinent to the technical objective of this workshop. Tutorial proposals should detail intended contents, audience and presentation length. A one-page abstract of accepted tutorials will be included in the workshop proceedings.

To submit, follow the instructions given at the following URL:    http://sttt.cs.uni-dortmund.de:80/spin04/servlet/Conference

Important Dates

Submission deadline: December, 6, 2003,

Notification of acceptance: January 18, 2004
Final versions due: February 1, 2004
Workshop date: April 1-3, 2004