The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requi rements. The NASA Formal Methods Symposium (NFM) i s an annual forum to foster collaboration between theoreticians and practitioners from NASA, academi a, and industry. NFM's goals are to identify chall enges and to provide solutions for achieving assur ance for such critical systems. The focus of this symposium will be on formal techniques and other a pproaches for software assurance, including their theory, current capabilities and limitations, as w ell as their potential application to aerospace, r obotics, and other NASA-relevant safety-critical s ystems during all stages of the software life-cycl e.
\nThere are two categories of submissions sollicited: Regular papers describ ing fully developed work and complete results (15 pages + references), and Short papers: (6 pages + references), either (a) Tool Papers describi ng novel, publicly-available tools, or (b) Case St udies detailing complete applications of formal me thods to real systems with publicly-available arti facts. All papers should be in English and describ e original work that has not been published or sub mitted elsewhere. We encourage submissions o n cross-cutting approaches that bring together for mal methods and techniques from other domains such as probabilistic reasoning, machine learning, con trol theory, robotics, and quantum computing among others.
\n