<div dir="ltr"><div><br></div><div><div style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;line-height:normal">NFM 2016 – Second Call For Papers</div><div style="color:rgb(0,0,0);font-family:Calibri,sans-serif;font-size:14px;line-height:normal"><div><br></div><div>THE 8TH NASA FORMAL METHODS SYMPOSIUM</div><div><br></div><div><a href="http://crisys.cs.umn.edu/nfm2016">http://crisys.cs.umn.edu/nfm2016</a></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><br></div><div>THEME OF THE SYMPOSIUM </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><br></div><div>TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO</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><br></div><div>IMPORTANT DATES</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><br></div><div>LOCATION</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><br></div><div>SUBMISSION DETAILS</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><a href="https://easychair.org/conferences/?conf=nfm2016">https://easychair.org/conferences/?conf=nfm2016</a></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><br></div><div>ORGANIZING COMMITTEE</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><br></div><div>PROGRAM COMMITTEE</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><br></div><div>STEERING COMMITTEE</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></div></div>