<HTML><HEAD><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></HEAD><BODY>
<div class="BodyFragment">
<font size="2"><div class="PlainText">Apologies for multiple postings<br>
<br>
==================================================================<br>
5th NASA Formal Methods Symposium (NFM) 2013<br>
<br>
NASA Ames Research Center<br>
Moffett Field, CA, USA<br>
May 14-16, 2013 <br>
<a href="http://ti.arc.nasa.gov/events/nfm-2013/">http://ti.arc.nasa.gov/events/nfm-2013/</a><br>
==================================================================<br>
<br>
Theme of the Conference: <br>
<br>
The NASA Formal Methods Symposium is a forum for theoreticians and<br>
practitioners from academia, industry, and government, with the goals<br>
of identifying challenges and providing solutions to achieving<br>
assurance in mission- and safety-critical systems. Within NASA, for<br>
example, such systems include autonomous robots, separation assurance<br>
algorithms for aircraft, Next Generation Air Transportation (NextGen),<br>
and autonomous rendezvous and docking for spacecraft. Moreover,<br>
emerging paradigms such as code generation and safety cases are<br>
bringing with them new challenges and opportunities. The focus of the<br>
symposium will be on formal techniques, their theory, current<br>
capabilities, and limitations, as well as their application to<br>
aerospace, robotics, and other safety-critical systems.<br>
<br>
We encourage submissions on cross-cutting approaches that bring<br>
together formal methods and techniques from other domains such as<br>
probabilistic reasoning, machine learning, control theory, robotics,<br>
and quantum computing among others. Topics of Interest<br>
<br>
Topics of Interest: <br>
<br>
* Formal verification, including theorem proving, model checking,<br>
and static analysis<br>
* Techniques and algorithms for scaling formal methods, including<br>
but not restricted to abstraction and symbolic methods,<br>
compositional techniques, as well as parallel and distributed<br>
techniques<br>
* Use of formal methods in automated software engineering and<br>
testing Model-based development<br>
* Formal program synthesis<br>
* Runtime monitoring and verification<br>
* Formal approaches to fault tolerance<br>
* Formal analysis of cyber-physical systems, including hybrid and<br>
embedded systems<br>
* Formal methods in systems engineering, modeling, requirements<br>
and specifications<br>
* Applications of formal methods to aerospace systems<br>
* Use of formal methods in safety cases<br>
* Use of formal methods in human-machine interaction analysis<br>
* Formal methods for multi-core, GPU-based implementations<br>
* Application of formal methods to emerging technologies, e.g.,<br>
mobile applications, autonomous systems, web-based application<br>
<br>
Important Dates<br>
Dec 7, 2012 Paper Submission Deadline<br>
Jan 28 - Feb 1, 2013 Rebuttal phase<br>
Feb 15, 2013 Acceptance Notification<br>
March 15, 2013 Camera-Ready Version Submission<br>
May 13 - 16, 2013 NFM Symposium<br>
Submission<br>
<br>
There are two categories of submissions:<br>
<br>
* Regular papers describing fully developed work and complete<br>
results (15 pages).<br>
<br>
* Short papers describing tools, experience reports, or<br>
descriptions of work in progress with preliminary results (6<br>
pages)<br>
<br>
All papers should be in English and describe original work that has<br>
not been published or submitted elsewhere. All submissions will be<br>
fully reviewed by members of the program committee. Papers must use<br>
Springer’s Lecture Notes in Computer Science (LNCS) style and be put<br>
in PDF format, as the papers will appear as a volume in Lecture Notes<br>
of Computer Science. Submissions are now open through easychair. <br>
<br>
easychair.org/conferences/?conf=nfm2013<br>
<br>
<br>
Registration: <br>
<br>
NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA<br>
on May 14 to 16, 2013. There will not be a registration fee charged to<br>
participants. All interested individuals, including non-US citizens,<br>
are welcome to attend, to listen to the talks, and to participate in<br>
discussions; however, all attendees must register. Details coming soon<br>
on Registration. Program Chairs<br>
<br>
Chairs:<br>
<br>
Guillaume Brat, CMU/NASA Ames Research Center, USA<br>
Neha Rungta, SGT Inc/NASA Ames Research Center, USA<br>
Arnaud Venet, CMU/NASA Ames Research Center, USA<br>
<br>
Program Committee: <br>
<br>
Julia Badger, NASA, USA <br>
Thomas Ball, Microsoft Research, USA<br>
Ricky Butler, NASA Langley Research Center, USA<br>
Patrice Chalin, Kansas State University, USA<br>
Darren Cofer, Rockwell Collins, USA<br>
Radhia Cousot, CNRS/École Normale Supérieure, France<br>
Leonardo De Moura, Microsoft Research, USA<br>
Ewen Denney, SGT Inc./NASA Ames, USA<br>
Ben Di Vito, NASA Langley Research Center, USA<br>
Jim Disbrow, NASA, USA <br>
Gilles Dowek, INRIA, France<br>
Matt Dwyer, University of Nebraska, USA<br>
Eric Feron, Georgia Institute of Technology, USA<br>
Jean-Christophe Filliatre, CNRS, France<br>
Kathleen Fisher, Tufts University, USA<br>
Pierre-Loic Garoche, ONERA, France<br>
Eric Goubault, CEA/Saclay, France<br>
Orna Grumberg, Technion, Israel<br>
Klaus Havelund, JPL, USA<br>
Gerard Holzmann, JPL, USA<br>
JoeHurd, Galois, Inc., USA<br>
Ranjit Jhala, University of California, San Diego, USA <br>
Hadas Kress-Gazit, Cornell University, USA<br>
Daniel Kroening, Oxford University, UK<br>
Tiziana Margaria, Univ. Potsdam, Germany<br>
Célia Martinie, University Paul Sabatier, France<br>
Eric Mercer, Brigham Young University, USA<br>
Paul Miner, NASA Langley Research Center, USA<br>
Cesar Munoz, NASA Langley Research Center, USA<br>
Natasha Neogi, National Institute of Aerospace, USA<br>
Ganesh Pai, SGT/NASA Ames Research Center, USA<br>
Corina Pasareanu CMU/NASA Ames Research Center, USA<br>
Charles Pecheur, UC Louvain, Belgium<br>
Suzette Person, NASA Langley Research Center, USA<br>
Franco Raimondi, Middlesex University, UK<br>
John Regehr, University of Utah, USA<br>
Kristin Yvonne Rozier, NASA Ames, USA<br>
Sriram Sankaranarayanan, University of Colorado, USA<br>
Stephen F. Siegel, University of Delaware, USA<br>
Radu Siminiceanu, National Institute of Aerospace, USA<br>
Henny Sipma, Kestrel Technology, France<br>
Sarah Thompson, SGT Inc./NASA Ames Research Center, USA <br>
Cesare Tinelli, University of Iowa, USA<br>
Oksana Tkachuk, SGT Inc./NASA Ames Research Center, USA<br>
Helmut Veith, Vienna University of Technology, Austria<br>
Willem Visser, Stellenbosch University, South Africa<br>
Michael Whalen, University of Minnesota, USA<br>
Virginie Wiels, ONERA/DTIM, France<br>
Reinhard Wilhelm Saarland University, Germany<br>
<br>
<br>
</div></font>
</div>
<div class="BodyFragment">
<font size="2"><div class="PlainText"><br>
<br>
</div></font>
</div>
</BODY></HTML>