[FM-India] NASA Formal Methods - NFM 2013, Call for Papers

Madhavan Mukund madhavan at cmi.ac.in
Thu Oct 4 07:03:42 IST 2012

 From: "Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT
 	Inc.)]" <neha.s.rungta at nasa.gov>
 To: "fm-announcements at lists.nasa.gov" <fm-announcements at lists.nasa.gov>
 Cc: "Venet,
 	Arnaud J. \(ARC-TI\)\[Stinger Ghaffarian Technologies Inc. \(SGT Inc.\)\]"
 	<arnaud.j.venet at nasa.gov>
 Date: Wed, 3 Oct 2012 17:39:32 -0500
 Subject: [fm-announcements] NASA Formal Methods - NFM 2013, Call for Papers
 Apologies for multiple postings
            5th NASA Formal Methods Symposium (NFM) 2013
                      NASA Ames Research Center
                       Moffett Field, CA, USA
                           May 14-16, 2013 
 Theme of the 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.
 We encourage submissions on cross-cutting approaches that bring
 together formal methods and techniques from other domains such as
 probabilistic reasoning, machine learning, control theory, robotics,
 and quantum computing among others.  Topics of Interest
 Topics of Interest: 
     * Formal verification, including theorem proving, model checking,
       and static analysis
     * Techniques and algorithms for scaling formal methods, including
       but not restricted to abstraction and symbolic methods,
       compositional techniques, as well as parallel and distributed
     * Use of formal methods in automated software engineering and
       testing Model-based development
     * Formal program synthesis
     * Runtime monitoring and verification
     * Formal approaches to fault tolerance
     * Formal analysis of cyber-physical systems, including hybrid and
       embedded systems
     * Formal methods in systems engineering, modeling, requirements
       and specifications
     * Applications of formal methods to aerospace systems
     * Use of formal methods in safety cases
     * Use of formal methods in human-machine interaction analysis
     * Formal methods for multi-core, GPU-based implementations
     * Application of formal methods to emerging technologies, e.g.,
       mobile applications, autonomous systems, web-based application
 Important Dates
 Dec 7, 2012 	       Paper Submission Deadline
 Jan 28 - Feb 1, 2013   Rebuttal phase
 Feb 15, 2013 	       Acceptance Notification
 March 15, 2013 	       Camera-Ready Version Submission
 May 13 - 16, 2013      NFM Symposium
 There are two categories of submissions:
     * Regular papers describing fully developed work and complete
       results (15 pages).
     * Short papers describing tools, experience reports, or
       descriptions of work in progress with preliminary results (6
 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. Papers must use
 Springer's Lecture Notes in Computer Science (LNCS) style and be put
 in PDF format, as the papers will appear as a volume in Lecture Notes
 of Computer Science. Submissions are now open through easychair. 
 NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA
 on May 14 to 16, 2013. 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. Details coming soon
 on Registration.  Program Chairs
 Guillaume Brat, CMU/NASA Ames Research Center, USA
 Neha Rungta, SGT Inc/NASA Ames Research Center, USA
 Arnaud Venet, CMU/NASA Ames Research Center, USA
 Program Committee: 
 Julia Badger, NASA, USA 
 Thomas Ball, Microsoft Research, USA
 Ricky Butler, NASA Langley Research Center, USA
 Patrice Chalin, Kansas State University, USA
 Darren Cofer, Rockwell Collins, USA
 Radhia Cousot, CNRS/??cole Normale Sup??rieure, France
 Leonardo De Moura, Microsoft Research, USA
 Ewen Denney, SGT Inc./NASA Ames, USA
 Ben Di Vito, NASA Langley Research Center, USA
 Jim Disbrow, NASA, USA	
 Gilles Dowek, INRIA, France
 Matt Dwyer, University of Nebraska, USA
 Eric Feron, Georgia Institute of Technology, USA
 Jean-Christophe Filliatre, CNRS, France
 Kathleen Fisher, Tufts University, USA
 Pierre-Loic Garoche, ONERA, France
 Eric Goubault, CEA/Saclay, France
 Orna Grumberg, Technion, Israel
 Klaus Havelund, JPL, USA
 Gerard Holzmann, JPL, USA
 JoeHurd, Galois, Inc., USA
 Ranjit Jhala, University of California, San Diego, USA	
 Hadas Kress-Gazit, Cornell University, USA
 Daniel Kroening, Oxford University, UK
 Tiziana Margaria, Univ. Potsdam, Germany
 C??lia Martinie, University Paul Sabatier, France
 Eric Mercer, Brigham Young University, USA
 Paul Miner, NASA Langley Research Center, USA
 Cesar Munoz, NASA Langley Research Center, USA
 Natasha Neogi, National Institute of Aerospace, USA
 Ganesh Pai, SGT/NASA Ames Research Center, USA
 Corina Pasareanu CMU/NASA Ames Research Center, USA
 Charles Pecheur, UC Louvain, Belgium
 Suzette Person, NASA Langley Research Center, USA
 Franco Raimondi, Middlesex University, UK
 John Regehr, University of Utah, USA
 Kristin Yvonne	Rozier, NASA Ames, USA
 Sriram Sankaranarayanan, University of Colorado, USA
 Stephen F. Siegel, University of Delaware, USA
 Radu Siminiceanu, National Institute of Aerospace, USA
 Henny Sipma, Kestrel Technology, France
 Sarah Thompson, SGT Inc./NASA Ames Research Center, USA	
 Cesare Tinelli, University of Iowa, USA
 Oksana Tkachuk, SGT Inc./NASA Ames Research Center, USA
 Helmut Veith, Vienna University of Technology, Austria
 Willem Visser, Stellenbosch University, South Africa
 Michael Whalen, University of Minnesota, USA
 Virginie Wiels, ONERA/DTIM, France
 Reinhard Wilhelm Saarland University, Germany

 To opt-out from this mailing list, send an email to
 fm-announcements-request at lists.nasa.gov
 with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting
 fm-announcements-owner at lists.nasa.gov 

More information about the FMIndia mailing list