[FM-India] Last Call for Papers: NASA Formal Methods (NFM) 2014

Madhavan Mukund madhavan at cmi.ac.in
Wed Nov 6 05:53:50 IST 2013

 From: Kristin Yvonne Rozier <Kristin.Y.Rozier at nasa.gov>
 To: undisclosed-recipients:;
 Date: Tue, 5 Nov 2013 08:43:26 -0800
 Subject: [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014
      The Sixth NASA Formal Methods Symposium
               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"
 by Bill McAllister, Chief, Safety and Mission Assurance, International 
 Space Station Safety Panels, Avionics and Software Branch
 Panel Feature: "Future Directions of Specifications for Formal Methods"
     Matt Dwyer, University of Nebraska, USA
     Hadas Kress-Gazit, Cornell University, USA
     Moshe Y. Vardi, Rice University, USA
 Panel Description: Specifications are required for all applications of 
 formal methods yet extracting specifications for real-life safety 
 critical systems often proves to be a huge bottleneck or even an 
 insurmountable hurdle to the application of formal methods in practice. 
 This is the state for safety-critical systems today and as these systems 
 grow more complex, more pervasive, and more powerful in the future, 
 there is not a clear path even for maintaining the bleak status quo. 
 Therefore, we propose highlighting this issue in the home of an 
 important critical system, the Mission Control Center of NASA's most 
 famous critical systems, and asking our panelists where we can go from here.
 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
 Éric Féron, 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é Platzer, Carnegie Mellon University, USA
 Neha Rungta, NASA Ames Research Center, USA
 Johann Schumann, SGT/NASA Ames Research Center, USA
 Cristina Seceleanu, Mälardalen University, Sweden
 Sandeep K. Shukla, Virginia Tech, USA
 Radu Siminiceanu
 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, 
 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
            /\                       \ \_____
           /  \                   ###[==_____>
          /    \                     /_/      __
         /  __  \                             \ \_____
         | (  ) |                          ###[==_____>
        /| /\/\ |\                            /_/
       / | |  | | \
      /  |=|==|=|  \       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.

More information about the FMIndia mailing list