Tuesday, February 14, 2017

24th International Symposium on Model Checking of Software(SPIN 2017)

July 13-14, 2017, Santa Barbara, CA, USA

IMPORTANT DATES:

  • Submission deadline : Feb 17, 2017
  • Acceptance Notification : Apr 15, 2017
  • Camera-Ready Version : May 20, 2017
  • Symposium : July 13-14, 2017