SPIN 2013: CALL FOR PAPERS
International Symposium on Model Checking Software - SPIN 2013
Stony Brook, NY, USA, July 8-9 2013
Marking the 20th Anniversary of the International SPIN Workshop.
http://spin2013.cs.sunysb.edu/
IMPORTANT DATES
- Submission of abstracts: 8 March 2013 *Waived
- Submission of full papers: 15 March 2013 AoE (Anywhere on Earth)
- Notification of acceptance/rejection: 19 April 2013
- Final version due: 29 April 2013 (
Accepted papers)
- Symposium: July 8-9
* The abstract submission deadline is waived. You can submit
your abstract and paper anytime up to the paper submission
deadline of March 15th.
AIMS AND SCOPE
The SPIN Symposium is a forum for practitioners and researchers
interested in state space-based techniques for the validation and
analysis of software systems. Theoretical techniques and empirical
evaluations based on explicit representations of state spaces, as
implemented in the SPIN model checker or other tools, or techniques
based on the combination of explicit representations with other
representations, are the focus of this symposium.
We particularly welcome papers describing the development and
application of state space exploration techniques in testing and
verifying embedded software, security-critical software, enterprise
and web applications, and other interesting software platforms. The
symposium aims to encourage interactions and exchanges of ideas with
all related areas in software engineering.
Topics of interest include, but are not limited to:
- Formal verification techniques for automated analysis of software
- Algorithms and storage methods for explicit-state model checking
- Theoretical and algorithmic foundations of model checking
- Model checking for programming languages and code analysis
- Directed model checking using heuristics
- Parallel or distributed model checking
- Verification of timed and probabilistic systems
- Model checking techniques for biological systems
- Formal verification techniques for concurrent software
- Formal verification techniques for embedded software
- Abstraction and symbolic execution techniques in relation to
software verification
- Static analysis for state space reduction
- Combinations of enumerative and symbolic techniques
- Analysis for modelling languages, such as UML/state charts
- Property specification languages, including temporal logics
- Automated testing using state space and/or path exploration
- Derivation of specifications, test cases, or other useful material
from state spaces
- Combination of model checking techniques with other analyses
- Modular and compositional verification techniques
- Case studies of interesting systems or with interesting results
- Engineering and implementation of software verification tools
- Benchmark and comparative studies for formal verification tools
- Insightful surveys or historical accounts on topics of relevance to
the symposium
BEST PAPER AWARD
The Program Committee of SPIN 2013 will give this year a best paper award.
The Best Paper Award recipient is given public recognition and
will receive one high-end NVIDIA GPU equipment (the NEW Tesla K20) donated by NVIDIA.
INVITED SPEAKERS
INVITED TUTORIAL
PAPER SUBMISSION AND PUBLICATION
The proceedings of SPIN will be published as a volume in Springer's
Lecture Notes in Computer Science (LNCS) series. Authors of selected
papers will be invited to submit an extended version to appear in a
special issue of an international journal (STTT - International Journal on Software
Tools for Technology Transfer).
With the exception of survey and history papers, the papers should
contain original work which has not been submitted or accepted for
publication elsewhere. Submissions should adhere to the LNCS format:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
We solicit two kinds of papers:
- Technical Papers: At most 18 pages in LNCS format. All accepted
technical papers will be included in the proceedings.
- Tool Presentations: This kind of submission should consist of two
parts: the first part is at most a 5 page description of the
tool. If accepted, this part will be published in the symposium
proceedings. The second part should describe an informal plan for an
oral presentation of the tool. This part will not be included in the
proceedings.
Please submit your papers via the
paper submission website.
At least one author of each accepted paper must attend the symposium
and present the paper.
ORGANIZATION
General chair:
Program chairs:
Publicity chair:
Program Committee:
- Gogul Balakrishnan (NEC Labs, USA)
- Paolo Ballarini (Ecole Centrale Paris, France)
- Ezio Bartocci (Vienna University of Technology, Austria) [PC co-chair]
- Armin Biere (Johannes Kepler University, Austria)
- Marsha Chechik (University of Toronto, Canada)
- Hana Chockler (IBM, Haifa)
- Giorgio Delzanno (University of Genova, Italy)
- Alastair Donaldson (Imperial College London, UK)
- Dimitra Giannakopoulou (NASA Ames, USA)
- Patrice Godefroid (Microsoft Research, USA)
- Radu Grosu (Vienna University of Technology, Austria)
- Klaus Havelund (NASA/JPL, USA)
- Gerard Holzmann (NASA/JPL, USA)
- Stefan Leue (University of Konstanz, Germany)
- Madanlal Musuvathi (Microsoft Research, Redmond, USA)
- David Parker (University of Birmingham, UK)
- C. R. Ramakrishnan (Stony Brook University, USA) [PC co-chair]
- S Ramesh (General Motors Global R&D, India)
- Stefan Schwoon (ENS Cachan, France)
- Scott A. Smolka (Stony Brook University, USA) [General Chair]
- Oleg Sokolsky (University of Pennsylvania, USA)
- Scott D. Stoller (Stony Brook University, USA)
- Stavros Tripakis (UC Berkeley, USA)
- Helmut Veith (Vienna University of Technology, Austria, Austria)
- Farn Wang (National Taiwan University, Taiwan)
- Lenore D. Zuck (University of Illinois at Chicago, USA)
Steering Committee:
SPIN 2013 gratefully acknowledges the support from the following sponsors:
