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