<div dir="ltr"><div><br></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>              <a href="http://crisys.cs.umn.edu/nfm2016">http://crisys.cs.umn.edu/nfm2016</a></div><div>********************************************************************</div><div><br></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>      <a href="http://crisys.cs.umn.edu/nfm2016/REGISTRATION">http://crisys.cs.umn.edu/nfm2016/REGISTRATION</a></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> </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: <a href="http://crisys.cs.umn.edu/nfm2016/accepted/">http://crisys.cs.umn.edu/nfm2016/accepted/</a></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><br></div></div>