<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</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>********************************************************************</div>
<div> CALL FOR PARTICIPATION</div>
<div> The 8th NASA Formal Methods Symposium</div>
<div><br>
</div>
<div> June 7 - June 9, 2016</div>
<div><br>
</div>
<div> McNamara Alumni Center </div>
<div> University of Minnesota </div>
<div> Minneapolis, MN</div>
<div><br>
</div>
<div> http://crisys.cs.umn.edu/nfm2016</div>
<div>********************************************************************</div>
<div><br>
</div>
<div>REGISTRATION </div>
<div><br>
</div>
<div>... is FREE!</div>
<div>All interested individuals, including non-US citizens, are welcome to attend. All participants must register but there is no registration fee. Please register online at</div>
<div><br>
</div>
<div> http://crisys.cs.umn.edu/nfm2016/REGISTRATION</div>
<div><br>
</div>
<div>We strongly encourage participants to register early and reserve accommodations. A block of hotel rooms are reserved at The Commons Hotel until May 7, 2016.</div>
<div><br>
</div>
<div><br>
</div>
<div>THEME OF THE SYMPOSIUM</div>
<div><br>
</div>
<div>The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the aerospace industry, with the goal of identifying challenges and providing solutions towards achieving assurance for
safety- and mission-critical systems.</div>
<div><br>
</div>
<div>We have assembled an exciting 3-day program featuring</div>
<div> * Oral presentations of 29 peer-reviewed papers</div>
<div> * Three prominent keynote speakers</div>
<div> * Tool demonstrations</div>
<div> * Breakout sessions on applications of formal methods to future NASA missions</div>
<div> * Ample opportunities for networking and socializing</div>
<div><br>
</div>
<div><br>
</div>
<div>KEYNOTES</div>
<div><br>
</div>
<div> * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might Find Application on Future NASA Missions”</div>
<div><br>
</div>
<div> * Kevin Driscoll (Honeywell): "Murphy Was Here"</div>
<div><br>
</div>
<div> * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate Exploitable Bugs"</div>
<div><br>
</div>
<div><br>
</div>
<div>ACCEPTED PAPERS</div>
<div><br>
</div>
<div>The program features 19 regular and 10 short/tool papers on :</div>
<div><br>
</div>
<div> * Requirements and architectures</div>
<div> * Model checking and verification</div>
<div> * Theorem proving and proofs</div>
<div> * Testing and runtime enforcement</div>
<div> * Synthesis and code generation</div>
<div> * Applications of formal methods</div>
<div> * Certification and correctness</div>
<div><br>
</div>
<div>List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/</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>Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)</div>
<div>CÈlia Martinie, ICS-IRIT, Universite 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, Universite 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>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>
<div><br>
</div>
</body>
</html>