|
Program Chair: Bell Laboratories, Lucent Technologies Program Committee: (U. Mass. Amherst, USA) (Bell Labs, USA) (U. Dortmund, Germany) (UC Santa Cruz, USA) (Tampere U., Finland) (Bell Labs, USA; chair) (Verimag, France) (NASA JPL, USA) (UT Austin, USA) (U. Konstanz, Germany) (UCLA, USA) (Verimag, France) (Microsoft, USA) (U. Twente, the Netherlands) (NASA Ames, USA) (U. Liege, Belgium) Advisory Committee: (NASA JPL, USA; chair) (Weizmann Inst., Israel) Steering Committee: (Microsoft, USA) (Verimag, France) (U. Konstanz, Germany) (Rice U., USA) (U. Liege, Belgium; chair) |
SPIN 2005
12th International SPIN
Workshop on Model Checking of Software
August 22-24,
2005, San Francisco, USA
(Co-located
with CONCUR 2005) Call for Papers SPIN 2005
solicits previously unpublished, currently unsubmitted, original
contributions addressing theoretical, experimental and applied problems in
model checking of software artifacts. Particular topics include:
Submissions
will be judged on originality, significance, correctness, and clarity. A
submitted paper should clearly express the contribution of the work, both in
general and in technical terms. It is essential to identify what was
accomplished, describe the significance of the work, and explain how the
paper compares with, and improves upon, previous work. Although
authors are encouraged to compare their work with existing model checkers
such as SPIN, the scope of the workshop is not limited to topics directly
related to the SPIN
system. We solicit submissions of two categories of papers: Full papers: submissions are limited to 15 pages, and should adhere to Springer Verlag's LNCS format, preferably using LaTeX. Authors who feel it is absolutely necessary to include additional material may place it in a well-marked appendix after page 15, but committee members are under no obligation to review this material. Tool presentations: SPIN 2005 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, preferably using LaTeX) 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 full papers. Accepted contributions will be included in the workshop proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series.
Submission
is on-line at the URL: http://sttt.cs.uni-dortmund.de/spin05/servlet/Conference IMPORTANT
NOTE: the submission web-site is now closed to new submissions. All authors are requested to submit a paper title and a short abstract by April 1, before submitting their full/tool paper by April 8. However, our submission web-site will remain open for both abstracts and papers until April 8. The format of all (full and tool) paper submissions should be either pdf or postscript. Here is the SPIN 2005 PC policy. Important Dates
|
