SPIN logo

SPIN 2006

13th International SPIN Workshop on Model Checking of Software

March 30 -- April 1, 2006, Vienna, Austria

A satellite workshop of ETAPS 2006

ETAPS 2006 logo

LNCS logo

Call for Papers

[Topics] [Submissions, Proceedings & STTT Special Section] [Important dates] [Registration to the Workshop] [Programme Committee] [Advisory and Steering Committees] [Inquiries] [The SPIN Tool Webpage] [LNCS Webpage] [Submission website]

New: Draft programme

What is SPIN?

The SPIN workshop is a forum for practitioners and researchers interested in state space -based techniques for the validation and analysis of software and hardware systems, including communication protocols. 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 other representations, is the focus of this workshop. SPIN has proven to be particularly suitable to analyse concurrent asynchronous systems. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering.

The first SPIN workshop was held in Montreal in 1995. Since 1996, SPIN workshops have been organized as more or less closely affiliated events with bigger conferences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer Verlag's "Lecture Notes in Computer Science" series. A comprehensive account on the history of SPIN workshop events can be found at the SPIN website.


Topics include, but are not limited to:

The idea of a short tool demonstration is to show, during the SPIN workshop, how the tool works in practice, from the users' point of view. A short tool demonstration submission consists of two parts: (A) a description of the tool of at most 5 pages, and (B) an informal plan of the oral presentation of the tool. Part (A) will and part (B) will not be included in the conference proceedings.

Submissions, Proceedings & STTT Special Section

Submissions should be in the LNCS format. They should be no longer than 18 pages. Clearly overlong papers run the risk of immediate rejection.

The submissions must present unpublished original research results, with the exception of survey and history papers (see Topics). Simultaneous submission of essentially the same contribution to another conference or to a journal is not allowed. However, earlier publication as a departmental report does not prevent submission.

Verifiability and repeatability are essential aspects of science. Readability is an essential factor in dissemination of results. Therefore, submissions should be accessible to a wider audience than just the narrow group of the specialists of the problem in question. Proofs and other reasoning must be reasonably clear and self-contained; tool descriptions should provide enough detail for other developers to benefit from the ideas presented; case studies should make it possible to assess the significance of the results and conduct similar experiments; and so on. Where space constraints prevent reaching these goals, a reference to a web page, technical report, or other document presenting the missing information should be given. It is also possible to present material that is not vital but may be helpful for the reviewers in an appendix that will not be included in the final paper. However, reviewers have limited possibilities of investigating additional material, so in every case the paper must be credible in itself.

To help the assignment of papers to reviewers, each submission should contain a list of keywords.

Submission will be via a web-based system. Acceptable formats are PDF and Postscript. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series.

After the workshop, authors of some of the best papers will be invited to submit an expanded version for a special section in STTT: International Journal on Software Tools for Technology Transfer. The expanded versions will be reviewed again.

Submission website [Read this, if you need extra time to finish your submission]

Important dates

Submission deadline: December 2, 2005 (Friday) (Extra time to finish your submission)
Acceptance/rejection notification: January 13, 2006 (Friday)
Final version of papers due: Near January 24, 2006 (Tuesday)
The workshop: March 30 -- April 1, 2006

In each case, the real deadline is next morning 10:00 UTC.

Registration to the Workshop

Will be via ETAPS website.

Programme Committee

Jonathan Billington (U. South Australia)
Bernard Boigelot (U. Liège, Belgium)
Dragan Bosnacki (Eindhoven U. Techn., The Netherlands)
Dennis Dams (Bell Labs, USA)
Stefan Edelkamp (U. Dortmund, Germany)
Cormac Flanagan (U. California at Santa Cruz, USA)
Gerard Holzmann (NASA/JPL, USA)
Roope Kaivola (Intel, USA)
Lars M. Kristensen (U. Aarhus, Denmark)
Stefan Leue (U. Konstanz, Germany)
Laurent Mounier (Verimag, France)
Wojciech Penczek (Polish Academy of Sciences, Poland)
Bill Roscoe (U. Oxford, UK)
Theo Ruys (U. Twente, the Netherlands)
Stefan Schwoon (U. Stuttgart, Germany)
Scott Stoller (SUNY at Stony Brook, USA)
Antti Valmari (Tampere U. Techn., Finland) (chair)
Willem Visser (NASA Ames, USA)

Advisory and Steering Committees

Advisory Committee: Steering Committee:
Gerard Holzmann (NASA JPL, USA; chair)    
Amir Pnueli (Weizmann Inst., Israel)
Thomas Ball (Microsoft, USA)
Patrice Godefroid (Bell Laboratories, USA)
Susanne Graf (Verimag, France)
Stefan Leue (U. Konstanz, Germany)
Moshe Vardi (Rice U., USA)
Pierre Wolper (U. Liege, Belgium; chair)


Inquiries regarding the programme selection: spin06pc@cs.tut.fi

[Antti Valmari] January 27, 2006