SPIN 2014: International SPIN Symposium on Model Checking of Software

Event dates: 21-Jul-14 -- 23-Jul-14

Venue: Hilton San Jose, Bay Area, California

Co-located with ISSTA 2014

Program Chairs:

Important Dates:

  • Abstract Submission: March 7, 2014
  • Paper Submission: March 14, 2014
  • Author Notification: April 30, 2014
  • Camera-Ready Paper: May 9, 2014