SPIN 2023

    April 26-27
    Paris

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