[TYPES/announce] SPIN 2008: First Call for Papers

[Rupak Majumdar]

We apologize if you get this message multiple times.
-----

Call for Papers: SPIN 2008
15th International SPIN Workshop on Model Checking of Software
August 10-12, 2008, Los Angeles, USA

http://compilers.cs.ucla.edu/spin08

Aim 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 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 security-critical 
software, enterprise and web applications, embedded software, and other 
interesting software platforms. The workshop aims to encourage interactions and 
exchanges of ideas with all related areas in software engineering.

Important Dates and Deadlines
-----------------------------
Deadline for submission of full papers: April 2, 2008
Notification of acceptance/rejection: May 10, 2008.
Deadline for final version of accepted papers: May 28, 2008.
Workshop: August 10-12, 2008.


Topics of Interest
------------------
Algorithms and storage methods for explicit state model checking
Directed model checking using heuristics
Parallel or distributed model checking using multi-core computers or multiple 
computers
Techniques for dealing with infinite state spaces
Model checking of timed and probabilistic systems
Abstraction and the use of static analysis to reduce state spaces
Combinations of enumerative and symbolic techniques
Analysis for modeling languages, including SE languages such as UML/state 
charts
New property specification languages, including new forms of temporal logic
Model checking of programming languages and code analysis
Automated testing using model checking techniques
Derivation of invariants, test cases, or other useful material from state 
spaces
Combination of model-checking techniques with other analysis techniques
Modularity and compositionality
Comparative studies, including to other model checking techniques
Case studies of interesting systems or with interesting results
Theoretical and algorithmic foundations of model-checking based analysis
Engineering and implementation of model-checking tools and platforms
Insightful surveys or historical accounts on topics of relevance to SPIN 
workshops

Solicited Contributions
-----------------------
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:
1. Technical Papers.  No longer than 18 pages in LNCS format. All accepted 
technical papers will be included in the proceedings.
2. Tool Presentations. This kind of submissions should consist of two parts. 
The first part is at most 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.

The proceedings of SPIN usually appear
in Springer's Lecture Notes in Computer Science series. We are confident to 
continue this tradition for the 2008 edition.


Organization
------------
General Chair
Jens Palsberg (UC Los Angeles, USA)

Programme Chairs
Klaus Havelund (NASA JPL, USA)
Rupak Majumdar (UC Los Angeles, USA)

Programme Committee:
Christel Baier  (Bonn, Germany)
Dragan Bosnacki (Eindhoven, Netherlands)
Lubos Brim (Brno, Czech)
Stefan Edelkamp (Dortmund, Germany)
Dawson Engler (Stanford, USA)
Kousha Etessami (Edinburgh, UK)
Susanne Graf (Verimag, France)
John Hatcliff (Kansas State Univ., USA)
Gerard Holzmann (NASA JPL, USA)
Franjo Ivancic (NEC, USA)
Sarfraz Khurshid (UT Austin, USA)
Kim Larsen (Aalborg, Denmark)
Madan Musuvathi (Microsoft, USA)
Joel Ouaknine (Oxford, UK)
Corina Pasareanu (NASA Ames, USA)
Doron Peled (Warwick, UK)
Paul Pettersson (Malardalen, Sweden)
Koushik Sen (Berkeley, USA)
Natasha Sharygina (Lugano, Switzerland)
Eran Yahav (IBM, USA)