Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news ] SPIN 2006 - call for papers

argouml
Discussion topic

Back to topic list

[verimag-news ] SPIN 2006 - call for papers

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2005-09-19 22:31:01 PDT
Message SPIN 2006

      13th International SPIN Workshop on Model Checking of Software
                      http://www.cs.tut.fi/SPIN2006/

                            CALL FOR PAPERS

                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 exploration 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.
Submission will be via a web-based system. Acceptable formats are
PDF and Postscript. The goal is to publish the proceedings 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.

Important dates:

   Submission deadline, full papers: December 2, 2005 (Friday)
   Acceptance/rejection notification: January 12, 2006 (Thursday)
   Final version of papers due: Near 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) Scott Stoller (USA)
   Gerard Holzmann (USA) Stefan Schwoon (Germany)
   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) (chair)
   Stefan Leue (U. Konstanz, Germany)

Inquiries: spin06pc at cs dot tut dot fi

« Previous message in topic | 1 of 1 | Next message in topic »

Messages

Show all messages in topic

[verimag-news ] SPIN 2006 - call for papers Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2005-09-19 22:31:01 PDT
Messages per page: