Third NASA Formal Methods Symposium
Held at Hilton Pasadena Hotel
168 South Los Robles Avenue
Pasadena, California 91101, USA
Topics of interest include but are not limited to the following:
- Theorem proving
- Model checking
- Real-time, hybrid, stochastic systems
- SAT and SMT solvers
- Symbolic execution
- Abstraction
- Compositional verification
- Program refinement
- Static analysis
- Dynamic analysis
- Automated testing
- Model-based testing
- Model-based development
- Fault protection
- Security and intrusion detection
- Application experiences
- Modeling and specification formalisms
- Requirements specification and analysis
NFM 2011 is organized by Laboratory for Reliable Software (LaRS) at NASA's Jet Propulsion Laboratory.
It is the third edition of the NASA Formal Methods Symposium,
organized by
NASA's Formal Methods Groups
on a yearly basis.
The first in 2009 was organized at NASA Ames Research Center, Moffett Field, California.
The second in 2010 was organized at NASA head quarters,
Washington D.C. The symposium originated from the earlier Langley Formal Methods Workshop series.
Proceedings to be published in:
NASA does not allow NFM 2011 to charge a registration fee (this restriction is generally imposed on NASA conferences). There will therefore be no registration fee charged to participants!
Contact the chairs at: nfm2011@easychair.org
Programme Committee
Rajeev Alur, U. of Pennsylvania, USATom Ball, Microsoft Research, USA
Howard Barringer, U. of Manchester, UK
Saddek Bensalem, Verimag Laboratory, France
Nikolaj Bjoerner, Microsoft Research, USA
Eric Bodden, Technical U. Darmstadt, Germany
Marsha Chechik, U. of Toronto, Canada
Rance Cleaveland, U. of Maryland, USA
Dennis Dams, Bell Labs/Alcatel-Lucent, Belgium
Ewen Denney, NASA Ames, USA
Ben Di Vito, NASA Langley, USA
Matt Dwyer, U. of Nebraska, USA
Cormac Flanagan, UC Santa Cruz, USA
Dimitra Giannakopoulou, NASA Ames, USA
Patrice Godefroid, Microsoft Research, USA
Alex Groce, Oregon State U., USA
Radu Grosu, Stony Brook, USA
John Hatcliff, Kansas State U., USA
Mats Heimdahl, U. of Minnesota, USA
Mike Hinchey, Lero, Irish SE. Res. Centre, Ireland
Sarfraz Khurshid, U. of Texas at Austin, USA
Orna Kupferman, Jerusalem Hebrew U., Israel
Kim Larsen, Aalborg U., Denmark
Rupak Majumdar, Max Planck Institute, Germany
Kenneth McMillan, Microsoft Research, USA
Cesar Munoz, NASA Langley, USA
Madan Musuvathi, Microsoft Research, USA
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames, USA
Shaz Qadeer, Microsoft Research, USA
Grigore Rosu, U. of Illinois, USA
Nicolas Rouquette, NASA/JPL, USA
Kristin Rozier, NASA Ames, USA
John Rushby, SRI International, USA
Wolfram Schulte, Microsoft Research, USA
Koushik Sen, UC Berkeley, USA
Sanjit Seshia, UC Berkeley, USA
Natarajan Shankar, SRI International, USA
Willem Visser, U. of Stellenbosch, South Africa
Mahesh Viswanathan, U. of Illinois, USA
Mike Whalen, U. of Minnesota, USA
Programme Chairs
Mihaela Bobaru, NASA/JPLKlaus Havelund, NASA/JPL
Gerard Holzmann, NASA/JPL
Rajeev Joshi, NASA/JPL
Steering Committee
Ewen Denney, NASA AmesBen Di Vito, NASA Langley
Dimitra Giannakopoulou, NASA Ames
Klaus Havelund, NASA/JPL
Gerard Holzmann, NASA/JPL
Cesar Munoz, NASA Langley
Corina Pasareanu, NASA Ames
James Rash, NASA Goddard
Kristin Y. Rozier, NASA Ames
