There are two categories of submissions:
- regular papers : up to 15 pages, describing fully developed work and complete results. Papers can present theory, software engineering aspects, or case studies.
- tool papers : up to 6 pages, describing an operational tool. The authors of accepted tool papers will give demonstrations of their tools in tool demo sessions. Tool papers should explain enhancements that have been done compared to previously published work. A tool paper does not need to present the theory behind the tool but can focus more on its features, and how it is used, with screen shots and examples.
All papers should be in English and describe original work that has not been published or submitted elsewhere.
Submissions will be fully reviewed and the symposium
proceedings (including regular papers and tool papers)
will appear as a volume in Lecture
Notes of Computer Science.
Papers must use the LNCS style,
and be in pdf format.
InstructionsAll papers should be submitted via this EasyChair Submission page.
Please indicate submission category: regular paper or tool paper.
For Springer's copyright form, indicate:
- Title: NASA FORMAL METHODS 2011
- Volume number: 6617
- Editors: Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi