13 - 14 July 2017, 24th International Symposium on Model Checking of Software (SPIN 2017), Santa Barbara CA, U.S.A.
The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software.
The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017).
Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. With the exception of survey and history papers, submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. We are soliciting two categories of papers: Full Research Papers (describing fully developed work and complete results) and Short Papers (presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods education).