<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 18px; font-family: Calibri, sans-serif; "><div><br></div><div><div> CALL FOR PARTICIPATION</div><div><br></div><div> NFM 2011</div><div> Third NASA Formal Methods Symposium</div><div> </div><div> Pasadena, California, USA</div><div> April 18 - 20, 2011</div><div><br></div><div> http://lars-lab.jpl.nasa.gov/nfm2011</div><div><br></div><div><br></div><div>THEME:</div><div><br></div><div>The NASA Formal Methods Symposium is a forum for theoreticians and</div><div>practitioners from academia, government and industry, with the goals</div><div>of identifying challenges and providing solutions to achieving</div><div>assurance in mission- and safety-critical systems. The focus of the</div><div>symposium is on formal methods, and aims to foster collaboration</div><div>between NASA researchers and engineers and the wider aerospace and</div><div>academic formal methods communities. The symposium will be comprised</div><div>of a mixture of invited talks, invited tutorials, and presentation of </div><div>papers and tool demonstrations.</div><div><br></div><div><br></div><div>COSTS:</div><div><br></div><div>There will be no registration fee charged to participants.</div><div><br></div><div><br></div><div>INVITED SPEAKERS:</div><div><br></div><div>Rustan Leino, Microsoft Research, USA:</div><div><br></div><div> "From Retrospective Verification to Forward-Looking Development"</div><div><br></div><div>Oege de Moor, University of Oxford, UK:</div><div><br></div><div> "Do Coding Standards Improve Software Quality?"</div><div><br></div><div>Andreas Zeller, Saarland University, Germany:</div><div><br></div><div> "Specifications for Free"</div><div><br></div><div><br></div><div>TUTORIALS:</div><div><br></div><div>Andreas Bauer, NICTA and Australian National University, Australia, and</div><div>Martin Leucker, University of Luebec, Germany: </div><div><br></div><div> "The Theory and Practice of SALT - Structured Assertion Language forTemporal Logic"</div><div><br></div><div>Bart Jacobs, Katholieke Universiteit Leuven, Belgium:</div><div><br></div><div> "VeriFast: a Powerful, Sound, Predictable, Fast Verifier for C and Java"</div><div><br></div><div>Michal Moskal, Microsoft Research, USA:</div><div><br></div><div> "Verification of Functional Correctness of Concurrent C Programs with VCC"</div><div><br></div><div><br></div><div>HISTORY:</div><div><br></div><div>NFM 2011 is the third edition of the NASA Formal Methods Symposium,</div><div>organized by NASA on a yearly basis. The first in 2009 and was</div><div>organized at NASA Ames Research Center, Moffett Field, California. The</div><div>second in 2010 was organized at NASA head quarters, Washington</div><div>D.C. The symposium originated from the earlier Langley Formal Methods</div><div>Workshop series.</div><div><br></div><div><br></div><div>PROGRAMME CHAIRS:</div><div><br></div><div>Mihaela Bobaru, NASA/Jet Propulsion Laboratory</div><div>Klaus Havelund, NASA/Jet Propulsion Laboratory</div><div>Gerard Holzmann, NASA/Jet Propulsion Laboratory</div><div>Rajeev Joshi, NASA/Jet Propulsion Laboratory</div><div><br></div><div><br></div><div>PROGRAMME COMMITTEE:</div><div><br></div><div>Rajeev Alur, University of Pennsylvania, USA</div><div>Tom Ball, Microsoft Research, USA</div><div>Howard Barringer, University of Manchester, UK</div><div>Saddek Bensalem, Verimag Laboratory, France</div><div>Nikolaj Bjoerner, Microsoft Research, USA</div><div>Eric Bodden, Technical University Darmstadt, Germany</div><div>Marsha Chechik, University of Toronto, Canada</div><div>Rance Cleaveland, University of Maryland, USA</div><div>Dennis Dams, Bell Labs/Alcatel-Lucent, Belgium</div><div>Ewen Denney, NASA Ames Research Center, USA</div><div>Matt Dwyer, University of Nebraska, USA</div><div>Cormac Flanagan, UC Santa Cruz, USA</div><div>Dimitra Giannakopoulou, NASA Ames Research Center, USA</div><div>Patrice Godefroid, Microsoft Research, USA</div><div>Alex Groce, Oregon State University, USA</div><div>Radu Grosu, Stony Brook, USA</div><div>John Hatcliff, Kansas State University, USA</div><div>Mats Heimdahl, University of Minnesota, USA</div><div>Mike Hinchey, Lero - the Irish SW. Eng. Research Centre, Ireland</div><div>Sarfraz Khurshid, University of Texas at Austin, USA</div><div>Orna Kupferman, Jerusalem Hebrew University, Israel</div><div>Kim Larsen, Aalborg University, Denmark</div><div>Rupak Majumdar, Max Planck Institute, Germany</div><div>Kenneth McMillan, Cadence Berkeley Labs, USA</div><div>Cesar Munoz, NASA Langley, USA</div><div>Madan Musuvathi, Microsoft Research, USA</div><div>Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA</div><div>Corina Pasareanu, NASA Ames Research Center, USA</div><div>Shaz Qadeer, Microsoft Research, USA</div><div>Grigore Rosu, University of Illinois at Urbana-Champaign, </div><div>Nicolas Rouquette, NASA/Jet Propulsion Laboratory, USA</div><div>Kristin Rozier, NASA Ames Research Center, USA</div><div>John Rushby, SRI International, USA</div><div>Wolfram Schulte, Microsoft Research, USA</div><div>Koushik Sen, Berkeley University, USA</div><div>Sanjit Seshia, Berkeley University, USA</div><div>Natarajan Shankar, SRI International, USA</div><div>Willem Visser, University of Stellenbosch, South Africa</div><div>Mahesh Viswanathan, University of Illinois, USA</div><div>Ben Di Vito, NASA Langley, USA</div><div>Mike Whalen, University of Minnesota, USA</div><div><br></div><div>STEERING COMMITTEE:</div><div><br></div><div>Ewen Denney, NASA Ames Research Center</div><div>Dimitra Giannakopoulou, NASA Ames Research Center</div><div>Klaus Havelund, NASA/Jet Propulsion Laboratory</div><div>Gerard Holzmann, NASA/Jet Propulsion Laboratory</div><div>Cesar Munoz, NASA Langley</div><div>Corina Pasareanu, NASA Ames Research Center</div><div>James Rash, NASA Goddard</div><div>Kristin Y. Rozier, NASA Ames Research Center</div><div>Ben Di Vito, NASA Langley</div></div><div><br></div></body></html>