************************************************** The Sixth NASA Formal Methods Symposium http://www.NASAFormalMethods.org/ 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA ************************************************** Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission- and = safety-critical systems require advanced techniques that address their = specification, verification, validation, and certification requirements. 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 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 = property-based design, 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 in all design life-cycle stages. We = encourage submissions on cross-cutting approaches marrying formal = verification techniques with advances in safety-critical system = development, such as requirements generation, analysis of aerospace = operational concepts, and formal methods integrated in early design = stages carrying throughout system development. Topics of Interest: ------------------- * Model checking * Theorem proving * Static analysis * Model-based development * Runtime monitoring * Formal approaches to fault tolerance * Applications of formal methods to aerospace systems * Formal analysis of cyber-physical systems, including hybrid and = embedded systems * Formal methods in systems engineering, modeling, requirements, = and specifications * Requirements generation, specification debugging, formal = validation of specifications * Use of formal methods in safety cases * Use of formal methods in human-machine interaction analysis * Formal methods for parallel hardware implementations * Use of formal methods in automated software engineering and testing * Correct-by-design, design for verification, and property-based = design techniques * Techniques and algorithms for scaling formal methods; e.g. = abstraction and symbolic methods, compositional techniques, parallel and = distributed techniques * Application of formal methods to emerging technologies Important Dates: ---------------- Abstract Submission: 14 Nov 2013 Paper Submission: 21 Nov 2013 Paper Notifications: 14 Jan 2014 Camera-ready Papers: 11 Feb 2014 Symposium: 29 April - 1 May 2014 Location & Cost: ---------------- The symposium will take place at the Gilruth Center, NASA Johnson Space = Center, Houston, Texas, USA, 29 April to 1 May 2013. There will be no registration fee for 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. Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete = results (15 pages) 2. Short papers describing tools, experience reports, or = descriptions of work in progress with preliminary results (6 pages) 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 Programme Committee. Papers will appear in a = volume of Springer's Lecture Notes on Computer Science (LNCS), and must = use LNCS style formatting. Papers should be submitted in PDF format. Keynote Speakers: ----------------- * Larry Paulson, University of Cambridge, UK * Moshe Y. Vardi, Rice University, USA * Special Guest Talk: "NASA Future Challenges in Formal Methods" Organizers: ----------- Mike Hinchey (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Program Committee: ------------------ Domagoj Babic, Google Research, USA Calin Belta, Boston University, USA Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Jonathan P. Bowen, Museophile Limited, UK Guillaume Brat, CMU/NASA Ames Research Center, USA Gianfranco Ciardo, Iowa State University, USA Frederic Dadeau, FEMTO-ST/INRIA, France Ewen Denney, SGT/NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA James Disbrow, NASA Dryden Flight Research Center, USA Steven Drager, Air Force Research Laboratory, USA Alexandre Duret-Lutz, LRDE/EPITA, France Cindy Eisner, IBM Research-Haifa, Israel =C9ric F=E9ron, Georgia Institute of Technology, USA Shalini Ghosh, SRI, USA Alwyn Goodloe, NASA Langley Research Center, USA Arie Gurfinkel, Carnegie Mellon University Software Engineering = Institute, USA John Harrison, Intel Corporation, USA Klaus Havelund, NASA/Jet Propulsion Laboratory, USA Connie Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA/Jet Propulsion Laboratory, USA Hadas Kress-Gazit, Cornell University, USA Joe Leslie-Hurd, Intel Corporation, USA David R. Lester, University of Manchester, UK Kenneth McMillan, Microsoft Research, USA Steven Miller, Rockwell Collins, USA Sheena Judson Miller, Barrios Technology/NASA Johnson Space Center, USA Cesar Munoz, NASA Langley Research Center, USA Suzette Person, NASA Langley Research Center, USA Lee Pike, Galois, Inc., USA Andr=E9 Platzer, Carnegie Mellon University, USA Neha Rungta, NASA Ames Research Center, USA Johann Schumann, SGT/NASA Ames Research Center, USA Cristina Seceleanu, M=E4lardalen University, Sweden Sandeep K. Shukla, Virginia Tech, USA Radu Siminiceanu, National Institute of Aerospace/NASA Langley Research = Center, USA Oksana Tkachuk, NASA Ames Research Center, USA Stefano Tonetta, FBK-irst, Italy Helmut Veith, Vienna University of Technology, Austria Arnaud Venet, CMU/NASA Ames Research Center, USA Mike Whalen, University of Minnesota Software Engineering Center, USA Nok Wongpiromsarn, Singapore-MIT Alliance for Research and Technology, = Singapore Karen Yorav, IBM Haifa Research Lab, Israel Steering Committee: ------------------- Ewen Denney, SGT/NASA Ames Ben Di Vito, NASA Langley Klaus Havelund, NASA/JPL Gerard Holzmann, NASA/JPL Cesar Munoz, NASA Langley Corina Pasareanu, CMU/NASA Ames Suzette Person, NASA Langley Kristin Y. Rozier, NASA Ames -- = ____________________________________________________________ __ /\ \ \_____ / \ ###[=3D=3D_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[=3D=3D_____> /| /\/\ |\ /_/ / | | | | \ / |=3D|=3D=3D|=3D| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make th= e request by contacting fm-announcements-owner@lists.nasa.gov=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]