<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">
<div><br>
</div>
<div>
<div>NFM 2016 - Call For Papers</div>
<div><br>
</div>
<div>The 8th NASA Formal Methods Symposium</div>
<div>-------------------------------------</div>
<div><br>
</div>
<div>http://crisys.cs.umn.edu/nfm2016</div>
<div><br>
</div>
<div>June 07 - June 09 2016</div>
<div><br>
</div>
<div>McNamara Alumni Center </div>
<div>University of Minnesota </div>
<div>200 Oak Street S.E., Minneapolis, MN 55455 </div>
<div><br>
</div>
<div>Theme of the Symposium</div>
<div>----------------------</div>
<div><br>
</div>
<div>The widespread use and increasing complexity of mission-critical and </div>
<div>safety-critical systems at NASA and the aerospace industry requires advanced </div>
<div>techniques that address their specification, design, verification, validation, </div>
<div>and certification requirements. The NASA Formal Methods Symposium is a forum </div>
<div>to foster collaboration between theoreticians and practitioners from NASA, </div>
<div>academia, and the industry, with the goal of identifying challenges and </div>
<div>providing solutions towards achieving assurance for such critical systems. </div>
<div><br>
</div>
<div>New developments and emerging applications like autonomous on-board software </div>
<div>for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced </div>
<div>separation assurance algorithms for aircraft, and the need for system-wide </div>
<div>fault detection, diagnosis, and prognostics provide new challenges for system </div>
<div>specification, development, and verification approaches. Similar challenges </div>
<div>need to be addressed during development and deployment of on-board software </div>
<div>for spacecraft ranging from small and inexpensive CubeSat systems to manned </div>
<div>spacecraft like Orion, as well as for ground systems.</div>
<div><br>
</div>
<div>The focus of the symposium will be on formal techniques and other approaches </div>
<div>for software assurance, their theory, current capabilities and limitations, </div>
<div>as well as their potential application to aerospace, robotics, and other </div>
<div>NASA-relevant safety-critical systems during all stages of the software </div>
<div>life-cycle. </div>
<div><br>
</div>
<div>Topics of interest include but are not limited to</div>
<div>-------------------------------------------------</div>
<div><br>
</div>
<div>* Model checking</div>
<div>* Theorem proving</div>
<div>* SAT and SMT solving</div>
<div>* Symbolic execution</div>
<div>* Static analysis</div>
<div>* Model-based development</div>
<div>* Runtime verification</div>
<div>* Software and system testing</div>
<div>* Safety assurance</div>
<div>* Fault tolerance</div>
<div>* Compositional verification</div>
<div>* Security and intrusion detection</div>
<div>* Design for verification and correct-by-design techniques</div>
<div>* Techniques for scaling formal methods</div>
<div>* Applications of formal methods in the development of:</div>
<div> * autonomous systems</div>
<div> * safety-critical artificial intelligence systems</div>
<div> * cyber-physical, embedded, and hybrid systems</div>
<div> * fault-detection, diagnostics, and prognostics systems</div>
<div>* Use of formal methods in:</div>
<div> * assurance cases</div>
<div> * human-machine interaction analysis</div>
<div> * requirements generation, specification, and validation</div>
<div> * automated testing and verification</div>
<div><br>
</div>
<div>Important Dates</div>
<div>---------------</div>
<div><br>
</div>
<div>- Paper Submission: 2/19/2016</div>
<div>- Paper Notifications: 4/8/2016</div>
<div>- Camera-ready Papers: 4/27/2016</div>
<div>- Symposium: 6/7 - 6/9/2016</div>
<div><br>
</div>
<div>Location</div>
<div>--------</div>
<div><br>
</div>
<div>The symposium will take place at McNamara Alumni Center, University of Minnesota.</div>
<div><br>
</div>
<div>Registration is required but is free of charge.</div>
<div><br>
</div>
<div>Submission Details</div>
<div>------------------</div>
<div><br>
</div>
<div>There are two categories of submissions:</div>
<div><br>
</div>
<div>1. Regular papers describing fully developed work and complete</div>
<div> results (maximum 15 pages)</div>
<div><br>
</div>
<div>2. Short papers on tools, experience reports, or work in progress </div>
<div> with preliminary results (maximum 6 pages)</div>
<div><br>
</div>
<div>All papers must be in English and describe original work that has not been </div>
<div>published or submitted elsewhere. All submissions will be fully reviewed by </div>
<div>at least three members of the Program Committee.</div>
<div><br>
</div>
<div>Papers will appear in a volume of Springer's Lecture Notes in Computer Science </div>
<div>(LNCS), and must use LNCS style formatting. Papers must be submitted in PDF </div>
<div>format at the EasyChair submission site:</div>
<div><br>
</div>
<div>https://easychair.org/conferences/?conf=nfm2016</div>
<div><br>
</div>
<div>Authors of selected best papers may be invited to submit an extended</div>
<div>version to a special issue of the Journal of Automated Reasoning (Springer).</div>
<div><br>
</div>
<div>Organizing Committee</div>
<div>--------------------</div>
<div><br>
</div>
<div>- Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)</div>
<div>- Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)</div>
<div>- Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)</div>
<div>- Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)</div>
<div>- Mike Whalen, University of Minnesota, USA (Financial Chair)</div>
<div>- Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)</div>
<div><br>
</div>
<div>Program Committee</div>
<div>-----------------</div>
<div><br>
</div>
<div>- Julia Badger, NASA Johnson Space Center, USA</div>
<div>- Clark Barrett, New York University, USA</div>
<div>- Saddek Bensalem, Verimag and University Joseph Fourier, France</div>
<div>- Dirk Beyer, University of Passau, Germany</div>
<div>- Borzoo Bonakdarpour, McMaster University, Canada</div>
<div>- Alessandro Cimatti, FBK, Italy</div>
<div>- Darren Cofer, Rockwell Collins, Inc., USA</div>
<div>- Myra Cohen, University of Nebraska-Lincoln, USA</div>
<div>- Misty Davies, NASA Ames Research Center, USA</div>
<div>- Leonardo de Moura, Microsoft, USA</div>
<div>- Ben Di Vito, NASA Langley Research Center, USA</div>
<div>- Alexandre Duret-Lutz, LRDE / EPITA, France</div>
<div>- Andrew Gacek, Rockwell Collins, Inc., USA</div>
<div>- Pierre-Loic Garoche, ONERA, France</div>
<div>- Shalini Ghosh, SRI International, USA</div>
<div>- Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France</div>
<div>- Radu Grosu, Stony Brook University, USA</div>
<div>- Arie Gurfinkel,SEI, Carnegie Mellon University, USA</div>
<div>- Klaus Havelund, NASA Jet Propulsion Laboratory, USA</div>
<div>- Constance Heitmeyer, Naval Research Laboratory, USA</div>
<div>- Gerard Holzmann, NASA Jet Propulsion Laboratory, USA</div>
<div>- Falk Howar, TU Clausthal / IPSSE, Germany</div>
<div>- Rajeev Joshi, NASA Jet Propulsion Laboratory, USA</div>
<div>- Dejan Jovanoviæ, SRI International, USA</div>
<div>- Gerwin Klein, NICTA and University of New South Wales, Australia</div>
<div>- Daniel Kroening, University of Oxford, UK</div>
<div>- Rahul Kumar, NASA Jet Propulsion Laboratory, USA</div>
<div>- Célia Martinie, ICS-IRIT, Université Paul Sabatier, France</div>
<div>- Eric Mercer, Brigham Young University, USA</div>
<div>- Cesar Munoz, NASA Langley Research Center, USA</div>
<div>- Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA</div>
<div>- Natasha Neogi, NASA Langley Research Center, USA</div>
<div>- Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA</div>
<div>- Charles Pecheur, Université catholique de Louvain, Belgium</div>
<div>- Lee Pike, Galois, Inc., USA</div>
<div>- Andreas Podelski, University of Freiburg, Germany</div>
<div>- Pavithra Prabhakar, Kansas State University, USA</div>
<div>- Venkatesh Prasad Ranganath, Kansas State University, USA</div>
<div>- Franco Raimondi, Middlesex University, UK</div>
<div>- Kristin Yvonne Rozier, University of Cincinnati, USA</div>
<div>- Neha Rungta, SGT, Inc./NASA Ames Research Center, USA</div>
<div>- Oleg Sokolsky, University of Pennsylvania, USA</div>
<div>- Stefano Tonetta, FBK, Italy</div>
<div>- Helmut Veith, Vienna University of Technology, Austria</div>
<div>- Willem Visser, Stellenbosch University, South Africa</div>
<div>- Virginie Wiels, ONERA / DTIM, France</div>
<div>- Guowei Yang, Texas State University, USA</div>
<div><br>
</div>
<div>Steering Committee</div>
<div>------------------</div>
<div><br>
</div>
<div>- Julia Badger, NASA Johnson Space Center, USA </div>
<div>- Ben Di Vito, NASA Langley Research Center, USA </div>
<div>- Klaus Havelund, NASA Jet Propulsion Laboratory, USA</div>
<div>- Gerard Holzmann, NASA Jet Propulsion Laboratory, USA</div>
<div>- Michael Lowry, NASA Ames Research Center, USA</div>
<div>- Kristin Yvonne Rozier, University of Cincinnati, USA</div>
<div>- Johann Schumann, SGT, Inc./NASA Ames Research Center, USA</div>
<div><br>
</div>
</div>
</body>
</html>