5th NASA Formal Methods Symposium
NFM 2013

NASA Ames Research Center Moffett Field, CA, USA May 14-16, 2013

NFM 2013 webcast

The talks at NFM 2013 can be viewed live

Theme of the Conference

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems.

We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.

Conference Poster

To download the conference poster, click here.

Topics of Interest

• Formal verification, including theorem proving, model checking, and static analysis
• Techniques and algorithms for scaling formal methods, including but not restricted to abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques
• Use of formal methods in automated software engineering and testing
• Model-based development
• Formal program synthesis
• Runtime monitoring and verification
• Formal approaches to fault tolerance
• Formal analysis of cyber-physical systems, including hybrid and embedded systems
• Formal methods in systems engineering, modeling, requirements and specifications
• Applications of formal methods to aerospace systems
• Use of formal methods in safety cases
• Use of formal methods in human-machine interaction analysis
• Formal methods for multi-core, GPU-based implementations
• Application of formal methods to emerging technologies, e.g., mobile applications, autonomous systems, web-based application

Important Dates

Submission

There are two categories of submissions:

1. Regular papers describing fully developed work and complete results (15 pages)
2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages)

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 program committee. Papers must use Springer’s Lecture Notes in Computer Science (LNCS) style and be put in PDF format, as the papers will appear as a volume in Lecture Notes of Computer Science.

Submissions are now closed.

Registration

NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA on May 14 to 16, 2013. There will not be a registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register.

Registration is now open here.