NFM 2011 - NFM 2011 : Third NASA Formal Methods Symposium

Website lars-lab.jpl.nasa.gov/nfm2011/ | Edit Freely

Category Formal Method;formal specification;formal specification language

Deadline: December 26, 2010 | Date: April 18, 2011-April 20, 2011

Venue/Country: Pasadena, U.S.A

Updated: 2010-12-19 09:06:45 (GMT+9)

Call For Papers - CFP

Third NASA Formal Methods Symposium

Pasadena, California, USA

April 18 - 20, 2011

http://lars-lab.jpl.nasa.gov/nfm2011

IMPORTANT DATES

Submission deadline :

*** DEADLINE EXTENDED TO: December 26, 2010 ***

Notification of acceptance/rejection : January 28, 2011

Final version due : February 18, 2011

Conference : April 18-20, 2011

THEME

The NASA Formal Methods Symposium is a forum for theoreticians and

practitioners from academia, government and industry, with the goals

of identifying challenges and providing solutions to achieving

assurance in mission- and safety-critical systems. The focus of the

symposium is on formal methods, and aims to foster collaboration

between NASA researchers and engineers and the wider aerospace and

academic formal methods communities. The symposium will be comprised

of a mixture of invited talks by leading researchers and

practitioners, presentation of accepted papers, and panels.

TOPICS OF INTEREST

* Theorem proving

* Model checking

* Real-time, hybrid, stochastic systems

* SAT and SMT solvers

* Symbolic execution

* Abstraction

* Compositional verification

* Program refinement

* Static analysis

* Dynamic analysis

* Automated testing

* Model-based testing

* Model-based development

* Fault protection

* Security and intrusion detection

* Application experiences

* Modeling and specification formalisms

* Requirements specification and analysis

INVITED SPEAKERS

Rustan Leino, Microsoft Research, USA

"From Retrospective Verification to Forward-Looking Development"

Oege de Moor, University of Oxford, UK

"Do Coding Standards Improve Software Quality?"

Andreas Zeller, Saarland University, Germany

"Specifications for Free"

TUTORIALS

Andreas Bauer, NICTA and Australian National University, Australia, and

Martin Leucker, University of Luebec, Germany

"The Theory and Practice of SALT - Structured Assertion Language for Temporal Logic"

Bart Jacobs, Katholieke Universiteit Leuven, Belgium

"VeriFast: a Powerful, Sound, Predictable, Fast Verifier for C and Java"

Michal Moskal, Microsoft Research, USA

"Verification of Functional Correctness of Concurrent C Programs with VCC"

HISTORY

NFM 2011 is the third edition of the NASA Formal Methods Symposium,

organized by NASA on a yearly basis. The first in 2009 and was

organized at NASA Ames Research Center, Moffett Field, California. The

second in 2010 was organized at NASA head quarters, Washington

D.C. The symposium originated from the earlier Langley Formal Methods

Workshop series.

PAPER SUBMISSION

There are two categories of submissions:

* Regular paper: up to 15 pages, describing fully developed work and

complete results. Papers can present theory, software engineering aspects,

or case studies.

* Tool papers: up to 6 pages, describing an operational tool. The

authors of accepted tool papers will give demonstrations of their

tools in tool demo sessions. Tool papers should explain enhancements

that have been done compared to previously published work. A tool

paper does not need to present the theory behind the tool but can

focus more on its features, and how it is used, with screen shots and

examples.

All papers should be in English and describe original work that has

not been published or submitted elsewhere.

Submissions will be fully reviewed and the symposium proceedings will

appear as a volume in Lecture Notes of Computer Science. Papers must

use the LNCS style, and be in pdf format.

COSTS

There will be no registration fee charged to participants.

PROGRAMME CHAIRS

Mihaela Bobaru, NASA/Jet Propulsion Laboratory

Klaus Havelund, NASA/Jet Propulsion Laboratory

Gerard Holzmann, NASA/Jet Propulsion Laboratory

Rajeev Joshi, NASA/Jet Propulsion Laboratory

PROGRAMME COMMITTEE

Rajeev Alur, University of Pennsylvania, USA

Tom Ball, Microsoft Research, USA

Howard Barringer, University of Manchester, UK

Saddek Bensalem, Verimag Laboratory, France

Nikolaj Bjoerner, Microsoft Research, USA

Eric Bodden, Technical University Darmstadt, Germany

Marsha Chechik, University of Toronto, Canada

Rance Cleaveland, University of Maryland, USA

Dennis Dams, Bell Labs/Alcatel-Lucent, Belgium

Ewen Denney, NASA Ames Research Center, USA

Matt Dwyer, University of Nebraska, USA

Cormac Flanagan, UC Santa Cruz, USA

Dimitra Giannakopoulou, NASA Ames Research Center, USA

Patrice Godefroid, Microsoft Research, USA

Alex Groce, Oregon State University, USA

Radu Grosu, Stony Brook, USA

John Hatcliff, Kansas State University, USA

Mats Heimdahl, University of Minnesota, USA

Mike Hinchey, Lero - the Irish SW. Eng. Research Centre, Ireland

Sarfraz Khurshid, University of Texas at Austin, USA

Orna Kupferman, Jerusalem Hebrew University, Israel

Kim Larsen, Aalborg University, Denmark

Rupak Majumdar, Max Planck Institute, Germany

Kenneth McMillan, Cadence Berkeley Labs, USA

Cesar Munoz, NASA Langley, USA

Madan Musuvathi, Microsoft Research, USA

Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA

Corina Pasareanu, NASA Ames Research Center, USA

Shaz Qadeer, Microsoft Research, USA

Grigore Rosu, University of Illinois at Urbana-Champaign, USA

Nicolas Rouquette, NASA/Jet Propulsion Laboratory, USA

Kristin Rozier, NASA Ames Research Center, USA

John Rushby, SRI International, USA

Wolfram Schulte, Microsoft Research, USA

Koushik Sen, Berkeley University, USA

Sanjit Seshia, Berkeley University, USA

Natarajan Shankar, SRI International, USA

Willem Visser, University of Stellenbosch, South Africa

Mahesh Viswanathan, University of Illinois, USA

Ben Di Vito, NASA Langley, USA

Mike Whalen, University of Minnesota, USA

STEERING COMMITTEE

Ewen Denney, NASA Ames Research Center

Dimitra Giannakopoulou, NASA Ames Research Center

Klaus Havelund, NASA/Jet Propulsion Laboratory

Gerard Holzmann, NASA/Jet Propulsion Laboratory

Cesar Munoz, NASA Langley

Corina Pasareanu, NASA Ames Research Center

James Rash, NASA Goddard

Kristin Y. Rozier, NASA Ames Research Center

Ben Di Vito, NASA Langley