[FM-India] SPIN 2013 - Abstract Submission: 8th March - Paper Submission: 15th March

Madhavan Mukund madhavan at cmi.ac.in
Fri Mar 8 14:21:44 IST 2013

 From: Klaus Havelund <klaus.havelund at jpl.nasa.gov>
 To: fm-announcements at lists.nasa.gov
 Date: Thu, 7 Mar 2013 22:36:34 -0800
 Subject: [fm-announcements] SPIN 2013 - Abstract Submission: 8th March - Paper Submission: 15th March
 [Apologies for multiple copies]
 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
 IMPORTANT DATES        !!!!! EXTENDED !!!!!
 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) 

More information about the FMIndia mailing list