SPIN 2016

Colocated with ETAPS 2016 is the 23rd International SPIN Symposium on Model Checking of Software (SPIN 2016).

SPIN 2016 will be held on 7 and 8 April 2016. SPIN 2016 is the latest in a successful series of workshops and symposia for practitioners and researchers interested in symbolic and state space-based techniques for the validation and analysis of software systems. 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. 

The deadline for submission of scientific papers is 8 January 2016.

The conference website is located here.