Welcome to SPIN 2016!
The 23rd International SPIN symposium on Model Checking of Software (SPIN 2016)
will be held in Eindhoven, The Netherlands 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.
SPIN 2016 will be colocated with the 19th European Joint Conferences on Theory and Practice
of Software (ETAPS 2016).
Important dates
| Submission deadline (extended!) | 18 January 2016 (Anywhere on Earth) |
| Notification of acceptance / rejection | 12 February 2016 |
| Final version due | 24 February 2016 |
| Symposium | 7-8 April 2016 |
Papers should be submitted via the EasyChair SPIN 2016 Submission website.
Invited speakers
- Shaz Qadeer (Microsoft Research, USA)
- Pierre Wolper (Université de Liege, BEL)
- Tim Willemse (Eindhoven University of Technology, NL)