posted by user: sdstoller || 6261 views || tracked by 28 users: [display]

SPIN 2013 : International SPIN Symposium on Model Checking of Software


When Jul 8, 2013 - Jul 9, 2013
Where Stony Brook, NY, USA
Abstract Registration Due Mar 8, 2013
Submission Deadline Mar 15, 2013
Notification Due Apr 15, 2013
Final Version Due Apr 24, 2013
Categories    computer science

Call For Papers

International SPIN Symposium on Model Checking of Software - SPIN 2013
Stony Brook, NY, USA, July 8-9 2013
Marking the 20th Anniversary of the International SPIN Workshop


Submission of abstracts: 8 March 2013 AoE (Anywhere on Earth)
Submission of full papers: 15 March 2013 AoE (Anywhere on Earth)
Notification of acceptance/rejection: 15 April 2013
Final version due: 24 April 2013
Symposium: 8-9 July 2013


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

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

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 modeling 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


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 K20 GPU coprocessor, donated by NVIDIA.


Dirk Beyer (University of Passau, Germany), Conditional Model Checking


Gerard Holzmann (NASA/JPL, USA), Automatic Model Extraction from C Code


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 the
International Journal on Software Tools for Technology Transfer (STTT).

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:

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

For submission instructions, please see the symposium website:

At least one author of each accepted paper must attend the symposium and
present the paper.


General chair

Scott A. Smolka (Stony Brook University, USA)

Program chairs

Ezio Bartocci (Vienna University of Technology, Austria)
C. R. Ramakrishnan (Stony Brook University, USA)

Publicity chair

Scott D. Stoller (Stony Brook University, USA)

Program Committee

Gogul Balakrishnan (NEC Labs, USA)
Paolo Ballarini (Ecole Centrale Paris, France)
Ezio Bartocci (TU Wien, Austria) [PC co-chair]
Armin Biere (Johannes Kepler University, Austria)
Marsha Chechik (University of Toronto, Canada)
Hana Chockler (IBM, Israel)
Giorgio Delzanno (University of Genova, Italy)
Alastair Donaldson (Imperial College London, UK)
Dimitra Giannakopoulou (NASA Ames, USA)
Patrice Godefroid (Microsoft Research, USA)
Radu Grosu (TU Wien, 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)
Stravos Tripakis (UC Berkley, USA)
Helmuth Veith (TU Wien, Austria)
Farn Wang (National Taiwan University, Taiwan)
Lenore D. Zuck (University of Illinois at Chicago, USA)

Steering Committee

Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
Susanne Graf (CNRS/VERIMAG, France)
Gerard Holzmann (chair) (NASA/JPL, USA)
Stefan Leue (University of Konstanz, Germany)
Willem Visser (University of Stellenbosch, South Africa)

Related Resources

SPIN 2023   29th International Symposium on Model Checking of Software
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
TASE 2023   Theoretical Aspects of Software Engineering
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex
NFM 2023   NASA Formal Methods Symposium
MSE 2023   7th International Conference on Materials Science and Engineering
FSEN 2023   Fundamentals of Software Engineering
NCO 2023   9th International Conference on Networks and Communications