SPIN 2014: International SPIN Symposium on Model Checking of Software

Event dates: July 21 -- July 23, 2014

Venue: Hilton San Jose, Bay Area, California

Highlights:

  • July 23: Joint sessions with ISSTA 2014
  • New this year: Software Engineering Track (see Call for Papers)
  • Extended deadline: April 19, 2014 (firm)

Program Chairs:

Important Dates:

  • Paper Submission: April 19, 2014 (firm)
  • Author Notification: May 23, 2014
  • Camera-Ready Paper: June 16, 2014