The third annual NASA Formal Methods Symposium (NFM) was held April 18-20, 2011, in Pasadena, California, and was hosted by NASA Formal Methods Team members at NASA/JPL. NFM is a selective, fully peer-reviewed publication venue that attracts high-quality original research. The symposium is the result of collaboration between formal methods researchers at four NASA centers: Ames, JPL, Langley, and Goddard.
NFM 2011 received 141 submissions from authors in 32 different countries, including 112 regular papers and 29 tool papers. Of those, 26 regular papers were accepted, for an acceptance rate of 23.2%, and 12 tool papers were accepted, for an acceptance rate of 41.4%. The overall acceptance rate for the 38 total papers was 27%. The conference was attended by approximately 120 formal methods researchers.
For the first time this year, Springer published the NFM symposium proceedings as a volume in the Lecture Notes in Computer Science series. In addition to the peer-reviewed program, the schedule included three invited talks and three invited tutorials from internationally renowned formal methods researchers whose work is of interest to NASA.
The international program committee (PC) for NFM 2011 consisted of some of the most prominent researchers in the field of formal verification, including Kenneth McMillan and Tom Ball of Microsoft Research; Orna Kupferman of the Jerusalem Hebrew University, Israel; Kim Larsen of Aalborg University, Denmark; and Rajeev Alur of the University of Pennsylvania. In total, the PC consisted of 41 members from NASA, academia, industry, and other government labs who were aided in completing the extensive peer reviews by 86 additional expert external reviewers.
Plans are already underway for NFM 2012, which will be hosted by NASA Langley. This fourth symposium in the series will add collaborators from a fifth NASA center, JSC.
For more information, including the accepted 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
TEAM MEMBERS: Ames: Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu, and Kristin Y. Rozier; JPL: Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi; Langley: Ben Di Vito and Cesar Munoz; Goddard: Mike Hinchey and Jim Rash
Contact: Kristin Y. Rozier