Abstract: Jan 20 AoE
Submission: Jan 23 AoE
Notification: Feb 23 AoE
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.