NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

RSE Researchers Team with NASA Colleagues to Host Third Formal Methods Symposium

Papers are still being accepted for the third annual NASA Formal Methods Symposium (NFM). NFM is a selective, fully peer-reviewed publication venue that attracts high-quality original research. In 2011, over 60 submissions with a selection rate of 40% or less is expected. For the first time this year, Springer will publish the NFM symposium proceedings as a volume in the Lecture Notes of Computer Science (LNCS) series: http://www.springer.com/lncs. The symposium is the result of a collaboration between formal methods researchers at four NASA centers: Ames, JPL, Langley, and Goddard.

The NFM 2011 Symposium will be held April 18-20, 2011, in Pasadena, California, and will be hosted by team members at NASA/JPL. The international program committee for this year’s symposium consists of some of the most prominent researchers in the field of formal verification, including Kenneth McMillan of Cadence Berkeley Labs; Orna Kupferman of the Jerusalem Hebrew University, Israel; Kim Larsen of Aalborg University, Denmark; Tom Ball of Microsoft Research; and Rajeev Alur of the University of Pennsylvania.

The submission deadline for papers is December 26, 2010. For more information, including the specifics for papers, see the official NFM website.

BACKGROUND: The NASA Formal Methods Symposium (NFM) is a forum for theoreticians and practitioners from academia, government, and industry, whose goals are to identify challenges and provide solutions to achieve 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 is comprised of a mixture of invited talks by leading researchers and practitioners, presentations of accepted papers, and formal methods panels.

NFM 2011 is the third edition of the NASA Formal Methods Symposium, which is organized by NASA on a yearly basis. The first symposium in 2009 was organized and held at NASA Ames Research Center. The second symposium in 2010 was organized and held at NASA Headquarters in Washington D.C. The symposium grew out of the old Langley Formal Methods Workshop series.

NASA PROGRAM FUNDING: VVFCS and other programs

ARC TEAM MEMBERS: Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu, and Kristin Y. Rozier.

NASA/JPL TEAM MEMBERS: Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi.

NASA/LANGLEY TEAM MEMBERS: Ben Di Vito and Cesar Munoz.

NASA/GODDARD TEAM MEMBERS: Mike Hinchey and Jim Rash.

POC: Kristin Y. Rozier

+NASA Home

+Ames Home

RSE Researchers Team with NASA Colleagues to Host Third Formal Methods Symposium
+ Home + Organization + News + Research Areas + Publications + Software + Internal Systems Help
First Gov logo
NASA Logo - nasa.gov