The International SPIN Symposium on Model Checking of Software (SPIN 2013) will be held on the campus of Stony Brook University in Stony Brook, NY, USA, from 8-9 July 2013. SPIN 2013 is the latest in a successful series of meetings for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. As in previous years, the proceedings of SPIN 2013 will be published in Springer-Verlag's Lecture Notes in Computer Science series.