All conferences / NFM / 2015
NFM 2015
7th NASA Formal Methods Symposium
Submission timeline
- 18 Nov 2014 Full paper
- 12 Jan 2015 Notification
- 27 Apr 2015 Conference opens
What to submit
- Format
- 15 pages LNCS (regular) / 6 pages (short)
- Proceedings
- Springer LNCS — Paywalled, for-profit
No registration fees.