There are two categories of submissions:
- Regular papers (15 pages) describing fully developed work and complete results.
Appendices are allowed but will only be seen by reviewers and cannot be included in the final camera ready version.
- Short papers (6 pages) describing tools, experience reports, or descriptions of work in progress with preliminary results.
All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer’s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format.
All papers should be submitted via this EasyChair Submission page.
Please indicate submission category: regular paper or short paper.
For Springer’s copyright form, indicate:
Title: NASA FORMAL METHODS 2015
Editors: Klaus Havelund, Gerard Holzmann, and Rajeev Joshi