About SPIN

The SPIN symposium started off as a workshop themed around the SPIN model checker in 1995. Since then it has been an established forum for model checking and program analysis.

You can find statistics about and links to past SPIN events here. Proceedings of previous years are available via Springer.