=================================================== CALL FOR PARTICIPATION Fourth NASA Formal Methods Symposium http://shemesh.larc.nasa.gov/nfm2012/index.html April 3-5, 2012 Norfolk, Virginia, USA =================================================== The NFM 2012 program is available online: http://shemesh.larc.nasa.gov/nfm2012/program.html REGISTRATION IS NOW OPEN To register: http://shemesh.larc.nasa.gov/nfm2012/registration.html There will not be a registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems. Invited speakers: * Andrew Appel, Princeton University "Verified Software Toolchain" * Patrick Cousot, École normale supérieure, Paris and New York University "Formal Verification by Abstract Interpretation" * Cesare Tinelli, University of Iowa "SMT-based Model Checking" Contact Information: nasa-nfm2012@mail.nasa.gov Conference Chairs Alwyn Goodloe, NASA Langley Research Center Suzette Person, NASA Langley Research Center Program Committee Nikolaj Bjoerner, Microsoft Research, USA Jonathan Bowen, London South Bank Univ, UK Julia Badger, NASA Johnson Space Center, USA Ricky Butler, NASA Langley Research Center, USA Rance Cleaveland, Univ of Maryland, USA Darren Cofer, Rockwell Collins, USA Ewen Denney, NASA Ames Research Center, USA Dino Distefano, Queen Mary Univ of London and Monoidics Ltd., UK Jin Song Dong, Univ of Singapore, Singapore Jean-Christophe Filliatre, CNRS, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Eric Goubault, CEA LIST, France George Hagen, NASA Langley Research Center, USA John Hatcliff, Kansas State Univ, USA Klaus Havelund, NASA/JPL, USA Mats Heimdahl, Univ of Minnesota, USA Gerard Holzmann, NASA/JPL, USA Joe Hurd, Galois, USA Bart Jacobs, Katholieke Univ Leuven, Belgium Kenneth McMillan, Microsoft Research, USA Eric Mercer, Brigham Young University, USA Cesar Munoz, NASA Langley Research Center, USA Anthony Narkawicz, NASA Langley Research Center, USA Natasha Neogi, National Institute of Aerospace, USA Corina Pasareanu, NASA Ames Research Center, USA Charles Pecheur, Univ de Louvain, Belgium Kristin Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI, International, USA Oleg Sokolsky, Univ of Pennsylvania, USA Sofiene Tahar, Concordia Univ, Canada Oksana Tkachuk, NASA Ames Research Center, USA Willem Visser, Univ of Stellenbosch, South Africa Mike Whalen, Univ of Minnesota, USA Virginie Wiels, ONERA, France Jim Woodcock, University of York, UK