SPIN 2006 --- LAST CALL FOR PAPERS
*** Strict deadline December 2, 2005 (Friday) ***
13th International SPIN Workshop on Model Checking of Software
http://www.cs.tut.fi/SPIN2006/
March 30 -- April 1, 2006, Vienna, Austria
A satellite workshop of ETAPS 2006
http://www.complang.tuwien.ac.at/etaps06/
(See http://www.cs.tut.fi/SPIN2006/ for full information)
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.
Topics include, but are not limited to:
Algorithms for state space -based verification
Innovative implementation techniques
Short tool demonstrations (see below)
Tool descriptions (full paper, no tool demonstration)
Manual or automatic modelling of systems for state space tools
Manual or automatic derivation of properties that are to be checked of
the systems
Techniques for alleviating state explosion
Techniques for dealing with infinite state spaces and infinite
families of systems
Techniques for dealing with timed or probabilistic systems
Derivation of code, test cases, etc. from state spaces
Innovative or otherwise particularly significant case studies
Theoretical results on limits and possibilities of state space methods
Unpublished, insightful surveys or historical accounts on topics of
relevance to SPIN workshops.
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 should be in the LNCS format. They should be no longer than
18 pages. Clearly overlong papers run the risk of immediate rejection.
Acceptable formats are PDF and Postscript. The proceedings will be
published in the Springer-Verlag Lecture Notes in Computer Science series
(pending).
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:
http://sttt.cs.uni-dortmund.de/spin06/servlet/Conference/
Important dates:
Submission deadline, full papers: December 2, 2005 (Friday)
Acceptance/rejection notification: January 13, 2006 (Friday)
Final version of papers due: January 24, 2006 (Tuesday)
The workshop: March 30 -- April 1, 2006
Programme Committee:
Jonathan Billington (Australia) Stefan Leue (Germany)
Bernard Boigelot (Belgium) Laurent Mounier (France)
Dragan Bosnacki (The Netherlands) Wojciech Penczek (Poland)
Dennis Dams (USA) Bill Roscoe (UK)
Stefan Edelkamp (Germany) Theo Ruys (The Netherlands)
Cormac Flanagan (USA) Stefan Schwoon (Germany)
Gerard Holzmann (USA) Scott Stoller (USA)
Roope Kaivola (USA) Antti Valmari (Finland) (chair)
Lars M. Kristensen (Denmark) Willem Visser (USA)
Advisory Committee:
Gerard Holzmann (USA) (chair) Amir Pnueli (Israel)
Steering Committee:
Thomas Ball (Microsoft, USA) Moshe Vardi (Rice U., USA)
Susanne Graf (Verimag, France) Pierre Wolper (Liege, Belgium) (chair)
Stefan Leue (U. Konstanz, Germany)
Inquiries: [EMAIL PROTECTED]
-- AV November 25, 2005
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
