posted by user: HybridSystems || 2875 views || tracked by 10 users: [display]

SPIN 2012 : 19th International Workshop on Model Checking Software - SPIN 2012

FacebookTwitterLinkedInGoogle

Link: http://qav.cs.ox.ac.uk/spin2012/cfp.php
 
When Jul 23, 2012 - Jul 24, 2012
Where Oxford
Abstract Registration Due Mar 26, 2012
Submission Deadline Mar 30, 2012
Notification Due May 7, 2012
Final Version Due May 14, 2012
Categories    formal verifictation   model checking   abstraction techniques
 

Call For Papers

SPIN 2012: CALL FOR PAPERS

19th International Workshop on Model Checking Software - SPIN 2012
Oxford, July 23-24 2012
http://qav.cs.ox.ac.uk/spin2012/
IMPORTANT DATES

Submission of abstracts: 26 March AoE (Anywhere on Earth)
Submission of full papers: 30 March AoE (Anywhere on Earth)
Notification of acceptance/rejection: 7 May
Final version due: 14 May
Workshop: July 23-24
AIMS AND SCOPE

The SPIN workshop 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 workshop.

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 workshop 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 workshop
INVITED SPEAKERS

Tom Ball (Microsoft Research)
Andrey Rybalchenko (TU Munich)
Andreas Zeller (Saarland University)
INVITED TUTORIAL

Cristian Cadar (Imperial College London)
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 (journal to be confirmed).

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 workshop 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.
For submission instructions, please see the workshop website:

http://qav.cs.ox.ac.uk/spin2012/

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

Programme Chairs:
Alastair Donaldson (Imperial College London)
David Parker (University of Oxford)
Local Arrangements Chair:
Michael Tautschnig (University of Oxford)
Programme Committee:
Christel Baier (University of Dresden, Germany)
Dirk Beyer (University of Passau, Germany)
Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
Alessandro Cimatti (Fondazione Bruno Kessler, IRST, Italy)
Alastair Donaldson (Imperial College London, UK)
Stefan Edelkamp (TZI University Bremen, Germany)
Alex Groce (Oregon State University, USA)
Gerard Holzmann (NASA/JPL, USA)
Radu Iosif (VERIMAG, CNRS, France)
Stefan Leue (University of Konstanz, Germany)
Eric Mercer (Brigham Young University, USA)
Alice Miller (University of Glasgow, UK)
Madanlal Musuvathi (Microsoft Research, Redmond, USA)
David Parker (University of Oxford, UK)
Corina Pasareanu (NASA Ames, USA)
Doron Peled (Bar Ilan University, Israel)
Jaco van de Pol (University of Twente, Netherlands)
Kees Pronk (Delft University of Technology, Netherlands)
Shaz Qadeer (Microsoft Research, Redmond, USA)
Alastair Reid (ARM, UK)
Tayssir Touili (LIAFA, CNRS, France)
Helmut Veith (Vienna University of Technology, Austria)
Thomas Wahl (Northeastern University, 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)
SPONSORSHIP

The SPIN 2012 workshop is generously sponsored by:
ARM (http://www.arm.com)
Codeplay (http://www.codeplay.com)
Microsoft Research (http://research.microsoft.com/en-us)
Monoidics (http://www.monoidics.com)

Related Resources

SPIN 2024   30th International Symposium on Model Checking Software
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
NFM 2024   NASA Formal Methods Symposium
NFM 2024   NASA Formal Methods Symposium
VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ICAISE 2024   2024 3rd International Conference on Artificial Intelligence and Software Engineering (ICAISE 2024)
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)