SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Conference Editions
Mon 15 - Fri 19 July 2019, Beijing, China

SPIN 2019 with ISSTA 2019

This page will soon grow in content and contain information about the scope of this research track.

Thu 13 - Fri 14 July 2017, Santa Barbara, California, United States

SPIN 2017 with ISSTA 2017

Thank you all for a successful event! See you in Malaga, Spain, in 2018! SPIN 2017 Best Papers Congratulations to best paper award authors! Best Paper Award Distributed Binary Decision Diagrams for Symbolic Reachability by Wytse Oortwijn, Tom van Dijk and Jaco van de Pol Best Short Paper Award SIMPAL: A Compositional Reasoning Framework for Imperative Programs by Lucas Wagner, David Greve and Andrew Ga ...