******************************************************************** CALL FOR PARTICIPATION The 8th NASA Formal Methods Symposium June 7 - June 9, 2016 McNamara Alumni Center University of Minnesota Minneapolis, MN http://crisys.cs.umn.edu/nfm2016 ******************************************************************** REGISTRATION ... is FREE! 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 http://crisys.cs.umn.edu/nfm2016/REGISTRATION 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. THEME OF THE SYMPOSIUM 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. We have assembled an exciting 3-day program featuring * Oral presentations of 29 peer-reviewed papers * Three prominent keynote speakers * Tool demonstrations * Breakout sessions on applications of formal methods to future NASA missions * Ample opportunities for networking and socializing KEYNOTES * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might Find Application on Future NASA Missions” * Kevin Driscoll (Honeywell): "Murphy Was Here" * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate Exploitable Bugs" ACCEPTED PAPERS The program features 19 regular and 10 short/tool papers on: * Requirements and architectures * Model checking and verification * Theorem proving and proofs * Testing and runtime enforcement * Synthesis and code generation * Applications of formal methods * Certification and correctness List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/ ORGANIZING COMMITTEE Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) Mike Whalen, University of Minnesota, USA (Financial Chair) Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE Julia Badger, NASA Johnson Space Center, USA Clark Barrett, New York University, USA Saddek Bensalem, Verimag and University Joseph Fourier, France Dirk Beyer, University of Passau, Germany Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, FBK, Italy Darren Cofer, Rockwell Collins, Inc., USA Myra Cohen, University of Nebraska-Lincoln, USA Misty Davies, NASA Ames Research Center, USA Leonardo de Moura, Microsoft, USA Ben Di Vito, NASA Langley Research Center, USA Alexandre Duret-Lutz, LRDE / EPITA, France Andrew Gacek, Rockwell Collins, Inc., USA Pierre-Loic Garoche, ONERA, France Shalini Ghosh, SRI International, USA Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France Radu Grosu, Stony Brook University, USA Arie Gurfinkel, SEI, Carnegie Mellon University, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Constance Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Falk Howar, TU Clausthal / IPSSE, Germany Rajeev Joshi, NASA Jet Propulsion Laboratory, USA Dejan Jovanovi#, SRI International, USA Gerwin Klein, NICTA and University of New South Wales, Australia Daniel Kroening, University of Oxford, UK Rahul Kumar, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) CÈlia Martinie, ICS-IRIT, Universite Paul Sabatier, France Eric Mercer, Brigham Young University, USA Cesar Munoz, NASA Langley Research Center, USA Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA Natasha Neogi, NASA Langley Research Center, USA Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA Charles Pecheur, Universite catholique de Louvain, Belgium Lee Pike, Galois, Inc., USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Venkatesh Prasad Ranganath, Kansas State University, USA Franco Raimondi, Middlesex University, UK Kristin Yvonne Rozier, University of Cincinnati, USA Neha Rungta, SGT, Inc./NASA Ames Research Center, USA Oleg Sokolsky, University of Pennsylvania, USA Stefano Tonetta, FBK, Italy Willem Visser, Stellenbosch University, South Africa Virginie Wiels, ONERA / DTIM, France Guowei Yang, Texas State University, USA STEERING COMMITTEE Julia Badger, NASA Johnson Space Center, USA Ben Di Vito, NASA Langley Research Center, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA Kristin Yvonne Rozier, University of Cincinnati, USA Johann Schumann, SGT, Inc./NASA Ames Research Center, USA