<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-1"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoNormal>===================================================<br> CALL FOR PARTICIPATION<br><br> Fourth NASA Formal Methods Symposium<br><br> <a href="http://shemesh.larc.nasa.gov/nfm2012/index.html" target="_blank">http://shemesh.larc.nasa.gov/nfm2012/index.html</a><br><br> April 3-5, 2012<br><br> Norfolk, Virginia, USA<br><br>===================================================<br><br>The NFM 2012 program is available online:<br><br><a href="http://shemesh.larc.nasa.gov/nfm2012/program.html" target="_blank">http://shemesh.larc.nasa.gov/nfm2012/program.html</a><br><br>REGISTRATION IS NOW OPEN<br><br>To register: <a href="http://shemesh.larc.nasa.gov/nfm2012/registration.html" target="_blank">http://shemesh.larc.nasa.gov/nfm2012/registration.html</a><br><br>There will not be a registration fee charged to participants.<br>All interested individuals, including non-US citizens, are<br>welcome to attend, to listen to the talks, and to participate<br>in discussions; however, all attendees must register.<br><br><br>The NASA Formal Methods Symposium is a forum for theoreticians<br>and practitioners from academia, industry, and government, with the<br>goals of identifying challenges and providing solutions to achieving<br>assurance in mission- and safety-critical systems. Within NASA,<br>for example, such systems include autonomous robots, separation<br>assurance algorithms for aircraft, Next Generation Air Transportation<br>(NextGen), and autonomous rendezvous and docking for spacecraft.<br>Moreover, emerging paradigms such as code generation and safety<br>cases are bringing with them new challenges and opportunities. The<br>focus of the symposium will be on formal techniques, their theory,<br>current capabilities, and limitations, as well as their application to<br>aerospace, robotics, and other safety-critical systems.<br><br><br>Invited speakers:<br>* Andrew Appel, Princeton University<br> “Verified Software Toolchain”<br>* Patrick Cousot, École normale supérieure, Paris and New York University<br> “Formal Verification by Abstract Interpretation”<br>* Cesare Tinelli, University of Iowa<br> “SMT-based Model Checking”<br><br>Contact Information:<br> <a href="mailto:nasa-nfm2012@mail.nasa.gov">nasa-nfm2012@mail.nasa.gov</a><br><br>Conference Chairs<br> Alwyn Goodloe, NASA Langley Research Center<br> Suzette Person, NASA Langley Research Center<br><br>Program Committee<br> Nikolaj Bjoerner, Microsoft Research, USA<br> Jonathan Bowen, London South Bank Univ, UK<br> Julia Badger, NASA Johnson Space Center, USA<br> Ricky Butler, NASA Langley Research Center, USA<br> Rance Cleaveland, Univ of Maryland, USA<br> Darren Cofer, Rockwell Collins, USA<br> Ewen Denney, NASA Ames Research Center, USA<br> Dino Distefano, Queen Mary Univ of London and Monoidics Ltd., UK<br> Jin Song Dong, Univ of Singapore, Singapore<br> Jean-Christophe Filliatre, CNRS, France<br> Dimitra Giannakopoulou, NASA Ames Research Center, USA<br> Eric Goubault, CEA LIST, France<br> George Hagen, NASA Langley Research Center, USA<br> John Hatcliff, Kansas State Univ, USA<br> Klaus Havelund, NASA/JPL, USA<br> Mats Heimdahl, Univ of Minnesota, USA<br> Gerard Holzmann, NASA/JPL, USA<br> Joe Hurd, Galois, USA<br> Bart Jacobs, Katholieke Univ Leuven, Belgium<br> Kenneth McMillan, Microsoft Research, USA<br> Eric Mercer, Brigham Young University, USA<br> Cesar Munoz, NASA Langley Research Center, USA<br> Anthony Narkawicz, NASA Langley Research Center, USA<br> Natasha Neogi, National Institute of Aerospace, USA<br> Corina Pasareanu, NASA Ames Research Center, USA<br> Charles Pecheur, Univ de Louvain, Belgium<br> Kristin Rozier, NASA Ames Research Center, USA<br> Natarajan Shankar, SRI, International, USA<br> Oleg Sokolsky, Univ of Pennsylvania, USA<br> Sofiene Tahar, Concordia Univ, Canada<br> Oksana Tkachuk, NASA Ames Research Center, USA<br> Willem Visser, Univ of Stellenbosch, South Africa<br> Mike Whalen, Univ of Minnesota, USA<br> Virginie Wiels, ONERA, France<br> Jim Woodcock, University of York, UK<o:p></o:p></p></div></body></html>