<div dir="ltr"><br><div><br></div><div><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">CALL FOR PAPERS</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">The 7th NASA Formal Methods Symposium</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><a href="http://www.nasaformalmethods.org/nfm2015" style="font-family:Courier;font-size:medium;text-align:-webkit-auto">http://www.NASAFormalMethods.org/nfm2015</a><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">27 – 29 April 2015</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Pasadena, California, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Paper Submission: *** 10 Nov 2014 ***</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">THEME</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">TOPICS</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Topics of interest include, but are not limited to:</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Model checking</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Theorem proving</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">SAT and SMT solving</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Symbolic execution</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Static analysis</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Runtime verification</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Program refinement</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Compositional verification</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Modeling and specification formalisms</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Model-based development</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Model-based testing</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Requirement engineering</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Formal approaches to fault tolerance</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Security and intrusion detection</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Applications of formal methods to aerospace systems</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Applications of formal methods to cyber-physical systems</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Applications of formal methods to human-machine interaction analysis</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">INVITED SPEAKERS</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Dino Distefano</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Viktor Kuncak</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Rob Manning</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Chief Engineer at NASA/JPL.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">IMPORTANT DATES</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Paper Submission:</span><span class="" style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto;white-space:pre">        </span><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">10 Nov 2014</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Paper Notifications:</span><span class="" style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto;white-space:pre">        </span><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">12 Jan 2015</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Camera-ready Papers:</span><span class="" style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto;white-space:pre">        </span><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">9 Feb 2015</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Symposium:   27 – 29 April 2015</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">LOCATION AND COST</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">SUBMISSION DETAILS</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">There are two categories of submissions:</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">- Regular papers describing fully developed work and complete results (15 pages)</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">- Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results  </span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"> (6 pages)</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer’s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format.</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">PC CHAIRS</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Klaus Havelund, NASA Jet Propulsion Laboratory</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Gerard Holzmann, NASA Jet Propulsion Laboratory</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Rajeev Joshi, NASA Jet Propulsion Laboratory</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">PROGRAMME COMMITTEE</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Erika Abraham, RWTH Aachen University, Germany</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Julia Badger, NASA Johnson Space Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Christel Baier, Technische Universität Dresden, Germany</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Saddek Bensalem, VERIMAG/UJF, France</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Dirk Beyer, University of Passau, Germany</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Armin Biere, Johannes Kepler University, Austria</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Nikolaj Bjorner, Microsoft Research, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Borzoo Bonakdarpour, McMaster University, Canada</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Alessandro Cimatti, Fondazione Bruno Kessler, Italy</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Leonardo de Moura, Microsoft Research, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Ewen Denney, NASA Ames Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Ben Di Vito, NASA Langley Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Dawson Engler, Stanford University, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Jean-Christophe Filliatre, Université Paris-Sud, France</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Dimitra Giannakopoulou, NASA Ames Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Alwyn Goodloe, NASA Langley Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Susanne Graf, VERIMAG, France</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Alex Groce, Oregon State University, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Radu Grosu, Vienna University of Technology, Austria</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">John Harrison, Intel Corporation, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Mike Hinchey, University of Limerick/Lero, Ireland</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Bart Jacobs, University of Leuven, Belgium</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Sarfraz Khurshid, The University of Texas at Austin, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Gerwin Klein, NICTA, Australia</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Daniel Kroening, Oxford University, UK</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Orna Kupferman, Hebrew University Jerusalem, Israel</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Kim Larsen, Aalborg University, Denmark</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Rustan Leino, Microsoft Research, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Martin Leucker, University of Lubeck, Germany</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Rupak Majumdar, Max Planck Institute, Germany</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Pete Manolios, Northeastern University, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Peter Mueller, ETH Zurich, Switzerland</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Corina Pasareanu, NASA Ames Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Doron Peled, Bar Ilan University, Israel</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Suzette Person, NASA Langley Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Andreas Podelski, University of Freiburg, Germany</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Grigore Rosu, University of Illinois, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Kristin Yvonne Rozier, NASA Ames Research Center, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Natarajan Shankar, SRI International, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Natasha Sharygina, University of Lugano, Switzerland</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Scott Smolka, Stony Brook University, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Willem Visser, University of Stellenbosch, South Africa</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Mahesh Viswanathan, University of Illinois, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Mike Whalen, University of Minnesota, USA</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Jim Woodcock, University of York, UK</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">STEERING COMMITTEE</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Julia Badger, NASA Johnson Space Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Ewen Denney, NASA Ames Research Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Ben Di Vito, NASA Langley Research Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Klaus Havelund, NASA Jet Propulsion Laboratory</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Gerard Holzmann, NASA Jet Propulsion Laboratory</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Cesar Munoz, NASA Langley Research Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Corina Pasareanu, NASA Ames Research Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Suzette Person, NASA Langley Research Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">Kristin Yvonne Rozier, NASA Ames Research Center</span><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><br style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto"><span style="color:rgb(0,0,0);font-family:Courier;font-size:medium;text-align:-webkit-auto">---</span><br></div></div>