Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Call for Papers NASA Formal Methods Symposium 2012

  • Subject: [Frama-c-discuss] Call for Papers NASA Formal Methods Symposium 2012
  • From: agoodloe at (Alwyn Goodloe)
  • Date: Fri, 21 Oct 2011 11:22:16 -0400


                       SECOND CALL FOR PAPERS

                                       NFM 2012

                Fourth NASA Formal Methods Symposium

                               Norfolk, Virginia, USA

                                  April 3 - 5, 2012


                      nasa-nfm2012 at



Theme of Conference:


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, for example, such

include autonomous robots, separation assurance algorithms for aircraft,

Next Generation Air Transportation (NextGen), and autonomous rendezvous and

docking for spacecraft. Moreover, emerging paradigms such as 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 safety-critical systems.


Topics of Interest:


* Formal verification, including theorem proving, model checking,

  and static analysis

* Automated test generation and testing techniques for safety-critical

* Model-based development

* Techniques and algorithms for scaling formal methods, such as abstraction

  and symbolic methods, compositional techniques, as well as parallel and

  distributed techniques

* Monitoring and runtime verification

* Code generation from formally verified models

* Significant applications of formal methods to aerospace systems

* Modeling and verification aspects of cyber-physical systems

* Safety cases

* Accident/safety analysis

* Formal approaches to fault tolerance

* Theoretical advances and empirical evaluations of formal methods

* Techniques for safety-critical systems, including hybrid and embedded

* Formal methods in systems engineering


Invited Speakers:


* Andrew Appel, Princeton University

* Patrick Cousot, Ecole Normale Superieure, Paris and New York University

* Cesare Tinelli, University of Iowa


Important Dates:


Submission Deadline: 11 December 2011

Notification: 21 January 2012

Final Version: 4 February 2012

Conference: 3 - 5 April 2012




There are two categories of submissions:

* Regular papers describing fully developed work and complete

  results (15 pages/30 minute talks)

* Short papers describing tools, experience reports, or descriptions

  of work in progress or preliminary results (6 pages/15 minute talks)

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

  been published or submitted elsewhere. All submissions will be fully

  by members of the program committee and the Symposium proceedings

  regular papers and short papers) will appear as a volume in Lecture Notes

  in Computer Science. Papers must use the LNCS style, and be in PDF format.

  Papers should be submitted through the following



Program Chairs:


Alwyn Goodloe, NASA Langley Research Center

Suzette Person, NASA Langley Research Center


Program Committee:


Nikolaj Bjoerner, Microsoft Research, USA

Jonathan Bowen, London South Bank Univ, UK

Julia Braman, NASA Johnson Space Center, USA

Ricky Butler, NASA Langley Research Center, USA

Rance Cleaveland, Univ of Maryland, USA

Darren Cofer, Rockwell Collins, USA

Ewen Denney, NASA Ames Research Center, USA

Dino Distefano, Queen Mary Univ of London and Monoidics Ltd., UK

Jin Song Dong, Univ of Singapore, Singapore

Jean-Christophe Filliatre, CNRS, France

Dimitra Giannakopoulou, NASA Ames Research Center, USA

Eric Goubault, CEA LIST, France

George Hagen, NASA Langley Research Center, USA

John Hatcliff, Kansas State Univ, USA

Klaus Havelund, NASA/JPL, USA

Mats Heimdahl, Univ of Minnesota, USA

Gerard Holzmann, NASA/JPL, USA

Joe Hurd, Galois, USA

Bart Jacobs, Katholieke Univ Leuven, Belgium

Kenneth McMillan, Microsoft Research, USA

Eric Mercer, Brigham Young University, USA

Cesar Munoz, NASA Langley Research Center, USA

Anthony Narkawicz, NASA Langley Research Center, USA

Natasha Neogi, National Institute of Aerospace, USA

Corina Pasareanu, NASA Ames Research Center, USA

Charles Pecheur, Univ de Louvain, Belgium

Kristin Rozier, NASA Ames Research Center, USA

Natarajan Shankar, SRI, International, USA

Oleg Sokolsky, Univ of Pennsylvania, USA

Sofiene Tahar, Concordia Univ, Canada

Oksana Tkachuk, NASA Ames Research Center, USA

Willem Visser, Univ of Stellenbosch, South Africa

Mike Whalen, Univ of Minnesota, USA

Virginie Wiels, ONERA, France

Jim Woodcock, University of York, UK


Steering Committee:


Ewen Denney, NASA Ames Research Center

Ben Di Vito, NASA Langley Research Center

Dimitra Giannakopoulou, NASA Ames Research Center

Klaus Havelund, NASA/Jet Propulsion Laboratory

Gerard Holzmann, NASA/Jet Propulsion Laboratory

Cesar Munoz, NASA Langley Research Center

Corina Pasareanu, NASA Ames Research Center

James Rash, NASA Goddard

Kristin Y. Rozier, NASA Ames Research Center


Location and Cost:


The symposium will take place at the Norfolk Waterside Marriott in

Norfolk, Virginia, USA. April 3-5, 2012. There will not be a registration

fee charged to participants. All interested individuals, including non-US

citizens, are welcome to attend, to listen to the talks, and to participate

in discussions; however, all attendees must register.

Alwyn E. Goodloe, Ph.D.
agoodloe at

Research Computer Engineer
NASA Langley Research Center
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>