<HTML>
<HEAD>
<TITLE>NFM 2011 - Deadline extension</TITLE>
</HEAD>
<BODY>
<FONT SIZE="4"><FONT FACE="Courier, Courier New"><SPAN STYLE='font-size:14pt'><BR>
                         &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;CALL FOR PAPERS<BR>
<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;*** DEADLINE EXTENSION : December 26, 2010 ***<BR>
</SPAN></FONT></FONT><BLOCKQUOTE><BLOCKQUOTE><FONT SIZE="4"><FONT FACE="Courier, Courier New"><SPAN STYLE='font-size:14pt'><BR>
                               NFM 2011<BR>
<BR>
                  Third NASA Formal Methods Symposium<BR>
 <BR>
                       Pasadena, California, USA<BR>
                          April 18 - 20, 2011<BR>
<FONT COLOR="#1200EE"><U><BR>
<BR>
</U></FONT>                 <FONT COLOR="#0000FF"><U><a href="http://lars-lab.jpl.nasa.gov/nfm2011">http://lars-lab.jpl.nasa.gov/nfm2011</a><BR>
</U></FONT><BR>
<BR>
IMPORTANT DATES<BR>
<BR>
Submission deadline : <BR>
<BR>
    *** DEADLINE EXTENDED TO: December 26, 2010 ***<BR>
<BR>
Notification of acceptance/rejection : January 28, 2011<BR>
Final version due : February 18, 2011<BR>
Conference : April 18-20, 2011<BR>
<BR>
<BR>
THEME<BR>
<BR>
The NASA Formal Methods Symposium is a forum for theoreticians and<BR>
practitioners from academia, government and industry, with the goals<BR>
of identifying challenges and providing solutions to achieving<BR>
assurance in mission- and safety-critical systems. The focus of the<BR>
symposium is on formal methods, and aims to foster collaboration<BR>
between NASA researchers and engineers and the wider aerospace and<BR>
academic formal methods communities. The symposium will be comprised<BR>
of a mixture of invited talks by leading researchers and<BR>
practitioners, presentation of accepted papers, and panels.<BR>
<BR>
<BR>
TOPICS OF INTEREST<BR>
<BR>
* Theorem proving<BR>
* Model checking<BR>
* Real-time, hybrid, stochastic systems<BR>
* SAT and SMT solvers<BR>
* Symbolic execution<BR>
* Abstraction<BR>
* Compositional verification<BR>
* Program refinement<BR>
* Static analysis<BR>
* Dynamic analysis<BR>
* Automated testing<BR>
* Model-based testing<BR>
* Model-based development<BR>
* Fault protection<BR>
* Security and intrusion detection<BR>
* Application experiences<BR>
* Modeling and specification formalisms<BR>
* Requirements specification and analysis<BR>
<BR>
<BR>
INVITED SPEAKERS<BR>
<BR>
Rustan Leino, Microsoft Research, USA<BR>
<BR>
&nbsp;&nbsp;&nbsp;&quot;From Retrospective Verification to Forward-Looking Development&quot;<BR>
<BR>
Oege de Moor, University of Oxford, UK<BR>
<BR>
&nbsp;&nbsp;&nbsp;&quot;Do Coding Standards Improve Software Quality?&quot;<BR>
<BR>
Andreas Zeller, Saarland University, Germany<BR>
<BR>
&nbsp;&nbsp;&nbsp;&quot;Specifications for Free&quot;<BR>
<BR>
<BR>
TUTORIALS<BR>
<BR>
Andreas Bauer, NICTA and Australian National University, Australia, and<BR>
Martin Leucker, University of Luebec, Germany <BR>
<BR>
&nbsp;&nbsp;&nbsp;&quot;The Theory and Practice of SALT - Structured Assertion Language for Temporal Logic&quot;<BR>
<BR>
Bart Jacobs, Katholieke Universiteit Leuven, Belgium<BR>
<BR>
&nbsp;&nbsp;&nbsp;&quot;VeriFast: a Powerful, Sound, Predictable, Fast Verifier for C and Java&quot;<BR>
<BR>
Michal Moskal, Microsoft Research, USA<BR>
<BR>
&nbsp;&nbsp;&nbsp;&quot;Verification of Functional Correctness of Concurrent C Programs with VCC&quot;<BR>
<BR>
<BR>
HISTORY<BR>
<BR>
NFM 2011 is the third edition of the NASA Formal Methods Symposium,<BR>
organized by NASA on a yearly basis. The first in 2009 and was<BR>
organized at NASA Ames Research Center, Moffett Field, California. The<BR>
second in 2010 was organized at NASA head quarters, Washington<BR>
D.C. The symposium originated from the earlier Langley Formal Methods<BR>
Workshop series.<BR>
<BR>
<BR>
PAPER SUBMISSION<BR>
<BR>
There are two categories of submissions:<BR>
<BR>
* Regular paper: up to 15 pages, describing fully developed work and<BR>
  complete results.  Papers can present theory, software engineering aspects,<BR>
  or case studies.<BR>
<BR>
* Tool papers: up to 6 pages, describing an operational tool. The<BR>
  authors of accepted tool papers will give demonstrations of their<BR>
  tools in tool demo sessions.  Tool papers should explain enhancements<BR>
  that have been done compared to previously published work.  A tool<BR>
  paper does not need to present the theory behind the tool but can<BR>
  focus more on its features, and how it is used, with screen shots and<BR>
  examples.<BR>
<BR>
All papers should be in English and describe original work that has<BR>
not been published or submitted elsewhere.<BR>
<BR>
Submissions will be fully reviewed and the symposium proceedings will<BR>
appear as a volume in Lecture Notes of Computer Science.  Papers must<BR>
use the LNCS style, and be in pdf format.<BR>
<BR>
<BR>
COSTS<BR>
<BR>
There will be no registration fee charged to participants.<BR>
<BR>
<BR>
PROGRAMME CHAIRS<BR>
<BR>
Mihaela Bobaru, NASA/Jet Propulsion Laboratory<BR>
Klaus Havelund, NASA/Jet Propulsion Laboratory<BR>
Gerard Holzmann, NASA/Jet Propulsion Laboratory<BR>
Rajeev Joshi, NASA/Jet Propulsion Laboratory<BR>
<BR>
<BR>
PROGRAMME COMMITTEE<BR>
<BR>
Rajeev Alur, University of Pennsylvania, USA<BR>
Tom Ball, Microsoft Research, USA<BR>
Howard Barringer, University of Manchester, UK<BR>
Saddek Bensalem, Verimag Laboratory, France<BR>
Nikolaj Bjoerner, Microsoft Research, USA<BR>
Eric Bodden, Technical University Darmstadt, Germany<BR>
Marsha Chechik, University of Toronto, Canada<BR>
Rance Cleaveland, University of Maryland, USA<BR>
Dennis Dams, Bell Labs/Alcatel-Lucent, Belgium<BR>
Ewen Denney, NASA Ames Research Center, USA<BR>
Matt Dwyer, University of Nebraska, USA<BR>
Cormac Flanagan, UC Santa Cruz, USA<BR>
Dimitra Giannakopoulou, NASA Ames Research Center, USA<BR>
Patrice Godefroid, Microsoft Research, USA<BR>
Alex Groce, Oregon State University, USA<BR>
Radu Grosu, Stony Brook, USA<BR>
John Hatcliff, Kansas State University, USA<BR>
Mats Heimdahl, University of Minnesota, USA<BR>
Mike Hinchey, Lero - the Irish SW. Eng. Research Centre, Ireland<BR>
Sarfraz Khurshid, University of Texas at Austin, USA<BR>
Orna Kupferman, Jerusalem Hebrew University, Israel<BR>
Kim Larsen, Aalborg University, Denmark<BR>
Rupak Majumdar, Max Planck Institute, Germany<BR>
Kenneth McMillan, Cadence Berkeley Labs, USA<BR>
Cesar Munoz, NASA Langley, USA<BR>
Madan Musuvathi, Microsoft Research, USA<BR>
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA<BR>
Corina Pasareanu, NASA Ames Research Center, USA<BR>
Shaz Qadeer, Microsoft Research, USA<BR>
Grigore Rosu, University of Illinois at Urbana-Champaign, USA<BR>
Nicolas Rouquette, NASA/Jet Propulsion Laboratory, USA<BR>
Kristin Rozier, NASA Ames Research Center, USA<BR>
John Rushby, SRI International, USA<BR>
Wolfram Schulte, Microsoft Research, USA<BR>
Koushik Sen, Berkeley University, USA<BR>
Sanjit Seshia, Berkeley University, USA<BR>
Natarajan Shankar, SRI International, USA<BR>
Willem Visser, University of Stellenbosch, South Africa<BR>
Mahesh Viswanathan, University of Illinois, USA<BR>
Ben Di Vito, NASA Langley, USA<BR>
Mike Whalen, University of Minnesota, USA<BR>
<BR>
<BR>
STEERING COMMITTEE<BR>
<BR>
Ewen Denney, NASA Ames Research Center<BR>
Dimitra Giannakopoulou, NASA Ames Research Center<BR>
Klaus Havelund, NASA/Jet Propulsion Laboratory<BR>
Gerard Holzmann, NASA/Jet Propulsion Laboratory<BR>
Cesar Munoz, NASA Langley<BR>
Corina Pasareanu, NASA Ames Research Center<BR>
James Rash, NASA Goddard<BR>
Kristin Y. Rozier, NASA Ames Research Center<BR>
Ben Di Vito, NASA Langley<BR>
</SPAN></FONT></FONT></BLOCKQUOTE></BLOCKQUOTE><FONT FACE="Calibri, Verdana, Helvetica, Arial"><SPAN STYLE='font-size:11pt'><BR>
<BR>
</SPAN></FONT>
</BODY>
</HTML>