17 - 19 April 2018, Tenth NASA Formal Methods Symposium (NFM 2018): 30 Years of Formal Methods at NASA, News VA, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
There are two categories of submissions: Regular papers (describing fully developed work and complete results, maximum 15 pages) and Short papers (on tools, experience reports, or work in progress with preliminary results, maximum 6 pages). All papers must be in English and describe original work that has not been published or submitted elsewhere.