Skip to main content
These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser.
Title Image

First Call For Papers


The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels.

Topics Of Interest

  • Theorem proving
  • Model checking
  • Real-time, hybrid and stochastic systems
  • SAT and SMT solvers
  • Symbolic execution
  • Abstraction
  • Compositional verification
  • Program refinement
  • Static analysis
  • Dynamic analysis
  • Automated testing
  • Model-based testing
  • Model-based development
  • Fault protection
  • Security and intrusion detection
  • Application experiences
  • Modeling and specification formalisms
  • Requirements specification and analysis

Paper Submission

There are two categories of submissions:

  • Regular paper: 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.

Important Dates

Submission : 26 Dec 2010
Notification : 28 Jan 2010
Final Version : 18 Feb 2011
Conference : 18-20 Apr 2011

CFP in Other Formats

text version : cfp.txt
pdf version : cfp.pdf