SECOND CALL FOR PAPERS NFM 2012 Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/ nasa-nfm2012@mail.nasa.gov -------------------------------------------------- Theme of Conference: -------------------------------------------------- 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. -------------------------------------------------- Topics of Interest: -------------------------------------------------- * Formal verification, including theorem proving, model checking, and static analysis * Automated test generation and testing techniques for safety-critical systems * Model-based development * Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques * Monitoring and runtime verification * Code generation from formally verified models * Significant applications of formal methods to aerospace systems * Modeling and verification aspects of cyber-physical systems * Safety cases * Accident/safety analysis * Formal approaches to fault tolerance * Theoretical advances and empirical evaluations of formal methods * Techniques for safety-critical systems, including hybrid and embedded systems * Formal methods in systems engineering -------------------------------------------------- Invited Speakers: -------------------------------------------------- * Andrew Appel, Princeton University * Patrick Cousot, Ecole normale superieure, Paris and New York University * Cesare Tinelli, University of Iowa -------------------------------------------------- Submissions: -------------------------------------------------- There are two categories of submissions: * Regular papers describing fully developed work and complete results (15 pages/30 minute talks) * Short papers describing tools, experience reports, or descriptions of work in progress or preliminary results (6 pages/15 minute talks) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the program committee and the Symposium proceedings (including regular papers and short papers) will appear as a volume in Lecture Notes in Computer Science. Papers must use the LNCS style, and be in PDF format. Papers should be submitted through the following link: http://www.easychair.org/conferences/?conf=nfm2012 ------------------------------------------------------- Program 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 Braman, 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 ------------------------------------------------------- Steering Committee: ------------------------------------------------------- Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Dimitra Giannakopoulou, NASA Ames Research Center Klaus Havelund, NASA/Jet Propulsion Laboratory Gerard Holzmann, NASA/Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center James Rash, NASA Goddard Kristin Y. Rozier, NASA Ames Research Center ------------------------------------------------------- Important Dates: ------------------------------------------------------- Submission: 11 December 2011 Notification: 21 January 2012 Final Version: 4 February 2012 Conference: 3 - 5 April 2012 ------------------------------------------------------- Location and Cost: ------------------------------------------------------- The symposium will take place at the Norfolk Waterside Marriott in Norfolk, Virginia, USA. April 3-5, 2012. 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.