All conferences / SPIN / 2015
SPIN 2015
22nd International Symposium on Model Checking of Software
Submission timeline
- 17 Apr 2015 Abstract registration
- 4 May 2015 Full paper
- 15 Jun 2015 Notification
- 24 Aug 2015 Conference opens
What to submit
- Format
- 18 pages LNCS (research / survey / history) / 6 pages (idea / tool)
- Proceedings
- ACM Digital Library — Paywalled