SPIN 2023

    April 26-27

Abstract: Jan 20 AoE
Submission: Jan 23 AoE
Notification: Feb 23 AoE

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.