Online Trademark Registration Service Provider and Law Firm in US

INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE 

 

Stony Brook, NY, USA

July 8-9 2013

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

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

IMPORTANT DATES

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

Email:seworld@sigsoft.org
Web site: http://eventseer.net/e/20072/