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

[PVS] [fm-announcements] NASA Formal Methods - NFM 2013, Call for Papers



Apologies for multiple postings

==================================================================
           5th NASA Formal Methods Symposium (NFM) 2013

                     NASA Ames Research Center
                      Moffett Field, CA, USA
                          May 14-16, 2013
              http://ti.arc.nasa.gov/events/nfm-2013/
==================================================================

Theme of the 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 systems 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.

We encourage submissions on cross-cutting approaches that bring
together formal methods and techniques from other domains such as
probabilistic reasoning, machine learning, control theory, robotics,
and quantum computing among others.  Topics of Interest

Topics of Interest:

    * Formal verification, including theorem proving, model checking,
      and static analysis
    * Techniques and algorithms for scaling formal methods, including
      but not restricted to abstraction and symbolic methods,
      compositional techniques, as well as parallel and distributed
      techniques
    * Use of formal methods in automated software engineering and
      testing Model-based development
    * Formal program synthesis
    * Runtime monitoring and verification
    * Formal approaches to fault tolerance
    * Formal analysis of cyber-physical systems, including hybrid and
      embedded systems
    * Formal methods in systems engineering, modeling, requirements
      and specifications
    * Applications of formal methods to aerospace systems
    * Use of formal methods in safety cases
    * Use of formal methods in human-machine interaction analysis
    * Formal methods for multi-core, GPU-based implementations
    * Application of formal methods to emerging technologies, e.g.,
      mobile applications, autonomous systems, web-based application

Important Dates
Dec 7, 2012                       Paper Submission Deadline
Jan 28 - Feb 1, 2013    Rebuttal phase
Feb 15, 2013              Acceptance Notification
March 15, 2013            Camera-Ready Version Submission
May 13 - 16, 2013        NFM Symposium
Submission

There are two categories of submissions:

    * Regular papers describing fully developed work and complete
      results (15 pages).

    * Short papers describing tools, experience reports, or
      descriptions of work in progress with preliminary results (6
      pages)

All papers should be in English and describe original work that has
not been published or submitted elsewhere. All submissions will be
fully reviewed by members of the program committee. Papers must use
Springer’s Lecture Notes in Computer Science (LNCS) style and be put
in PDF format, as the papers will appear as a volume in Lecture Notes
of Computer Science. Submissions are now open through easychair.

easychair.org/conferences/?conf=nfm2013


Registration:

NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA
on May 14 to 16, 2013. 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. Details coming soon
on Registration.  Program Chairs

Chairs:

Guillaume Brat, CMU/NASA Ames Research Center, USA
Neha Rungta, SGT Inc/NASA Ames Research Center, USA
Arnaud Venet, CMU/NASA Ames Research Center, USA

Program Committee:

Julia Badger, NASA, USA
Thomas Ball, Microsoft Research, USA
Ricky Butler, NASA Langley Research Center, USA
Patrice Chalin, Kansas State University, USA
Darren Cofer, Rockwell Collins, USA
Radhia Cousot, CNRS/École Normale Supérieure, France
Leonardo De Moura, Microsoft Research, USA
Ewen Denney, SGT Inc./NASA Ames, USA
Ben Di Vito, NASA Langley Research Center, USA
Jim Disbrow, NASA, USA 
Gilles Dowek, INRIA, France
Matt Dwyer, University of Nebraska, USA
Eric Feron, Georgia Institute of Technology, USA
Jean-Christophe Filliatre, CNRS, France
Kathleen Fisher, Tufts University, USA
Pierre-Loic Garoche, ONERA, France
Eric Goubault, CEA/Saclay, France
Orna Grumberg, Technion, Israel
Klaus Havelund, JPL, USA
Gerard Holzmann, JPL, USA
JoeHurd, Galois, Inc., USA
Ranjit Jhala, University of California, San Diego, USA 
Hadas Kress-Gazit, Cornell University, USA
Daniel Kroening, Oxford University, UK
Tiziana Margaria, Univ. Potsdam, Germany
Célia Martinie, University Paul Sabatier, France
Eric Mercer, Brigham Young University, USA
Paul Miner, NASA Langley Research Center, USA
Cesar Munoz, NASA Langley Research Center, USA
Natasha Neogi, National Institute of Aerospace, USA
Ganesh Pai, SGT/NASA Ames Research Center, USA
Corina Pasareanu CMU/NASA Ames Research Center, USA
Charles Pecheur, UC Louvain, Belgium
Suzette Person, NASA Langley Research Center, USA
Franco Raimondi, Middlesex University, UK
John Regehr, University of Utah, USA
Kristin Yvonne Rozier, NASA Ames, USA
Sriram Sankaranarayanan, University of Colorado, USA
Stephen F. Siegel, University of Delaware, USA
Radu Siminiceanu, National Institute of Aerospace, USA
Henny Sipma, Kestrel Technology, France
Sarah Thompson, SGT Inc./NASA Ames Research Center, USA
Cesare Tinelli, University of Iowa, USA
Oksana Tkachuk, SGT Inc./NASA Ames Research Center, USA
Helmut Veith, Vienna University of Technology, Austria
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA
Virginie Wiels, ONERA/DTIM, France
Reinhard Wilhelm Saarland University, Germany




==================================================================
           5th NASA Formal Methods Symposium (NFM) 2013

                     NASA Ames Research Center
                      Moffett Field, CA, USA
                          May 14-16, 2013 
              http://ti.arc.nasa.gov/events/nfm-2013/
==================================================================

Theme of the 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 systems 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.

We encourage submissions on cross-cutting approaches that bring
together formal methods and techniques from other domains such as
probabilistic reasoning, machine learning, control theory, robotics,
and quantum computing among others.  Topics of Interest

Topics of Interest: 

    * Formal verification, including theorem proving, model checking,
      and static analysis
    * Techniques and algorithms for scaling formal methods, including
      but not restricted to abstraction and symbolic methods,
      compositional techniques, as well as parallel and distributed
      techniques
    * Use of formal methods in automated software engineering and
      testing Model-based development
    * Formal program synthesis
    * Runtime monitoring and verification
    * Formal approaches to fault tolerance
    * Formal analysis of cyber-physical systems, including hybrid and
      embedded systems
    * Formal methods in systems engineering, modeling, requirements
      and specifications
    * Applications of formal methods to aerospace systems
    * Use of formal methods in safety cases
    * Use of formal methods in human-machine interaction analysis
    * Formal methods for multi-core, GPU-based implementations
    * Application of formal methods to emerging technologies, e.g.,
      mobile applications, autonomous systems, web-based application

Important Dates
Dec 7, 2012 	       Paper Submission Deadline
Jan 28 - Feb 1, 2013   Rebuttal phase
Feb 15, 2013 	       Acceptance Notification
March 15, 2013 	       Camera-Ready Version Submission
May 13 - 16, 2013      NFM Symposium
Submission

There are two categories of submissions:

    * Regular papers describing fully developed work and complete
      results (15 pages).

    * Short papers describing tools, experience reports, or
      descriptions of work in progress with preliminary results (6
      pages)

All papers should be in English and describe original work that has
not been published or submitted elsewhere. All submissions will be
fully reviewed by members of the program committee. Papers must use
Springerâ??s Lecture Notes in Computer Science (LNCS) style and be put
in PDF format, as the papers will appear as a volume in Lecture Notes
of Computer Science. Submissions are now open through easychair. 

easychair.org/conferences/?conf=nfm2013


Registration: 

NFM 2013 will be held at NASA Ames Research Center, Moffett Field, CA
on May 14 to 16, 2013. 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. Details coming soon
on Registration.  Program Chairs

Chairs:

Guillaume Brat, CMU/NASA Ames Research Center, USA
Neha Rungta, SGT Inc/NASA Ames Research Center, USA
Arnaud Venet, CMU/NASA Ames Research Center, USA

Program Committee: 

Julia Badger, NASA, USA 
Thomas Ball, Microsoft Research, USA
Ricky Butler, NASA Langley Research Center, USA
Patrice Chalin, Kansas State University, USA
Darren Cofer, Rockwell Collins, USA
Radhia Cousot, CNRS/�cole Normale Supérieure, France
Leonardo De Moura, Microsoft Research, USA
Ewen Denney, SGT Inc./NASA Ames, USA
Ben Di Vito, NASA Langley Research Center, USA
Jim Disbrow, NASA, USA	
Gilles Dowek, INRIA, France
Matt Dwyer, University of Nebraska, USA
Eric Feron, Georgia Institute of Technology, USA
Jean-Christophe Filliatre, CNRS, France
Kathleen Fisher, Tufts University, USA
Pierre-Loic Garoche, ONERA, France
Eric Goubault, CEA/Saclay, France
Orna Grumberg, Technion, Israel
Klaus Havelund, JPL, USA
Gerard Holzmann, JPL, USA
JoeHurd, Galois, Inc., USA
Ranjit Jhala, University of California, San Diego, USA	
Hadas Kress-Gazit, Cornell University, USA
Daniel Kroening, Oxford University, UK
Tiziana Margaria, Univ. Potsdam, Germany
Célia Martinie, University Paul Sabatier, France
Eric Mercer, Brigham Young University, USA
Paul Miner, NASA Langley Research Center, USA
Cesar Munoz, NASA Langley Research Center, USA
Natasha Neogi, National Institute of Aerospace, USA
Ganesh Pai, SGT/NASA Ames Research Center, USA
Corina Pasareanu CMU/NASA Ames Research Center, USA
Charles Pecheur, UC Louvain, Belgium
Suzette Person, NASA Langley Research Center, USA
Franco Raimondi, Middlesex University, UK
John Regehr, University of Utah, USA
Kristin Yvonne	Rozier, NASA Ames, USA
Sriram Sankaranarayanan, University of Colorado, USA
Stephen F. Siegel, University of Delaware, USA
Radu Siminiceanu, National Institute of Aerospace, USA
Henny Sipma, Kestrel Technology, France
Sarah Thompson, SGT Inc./NASA Ames Research Center, USA	
Cesare Tinelli, University of Iowa, USA
Oksana Tkachuk, SGT Inc./NASA Ames Research Center, USA
Helmut Veith, Vienna University of Technology, Austria
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA
Virginie Wiels, ONERA/DTIM, France
Reinhard Wilhelm Saarland University, Germany
---
To opt-out from this mailing list, send an email to

fm-announcements-request@xxxxxxxxxxxxxx

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner@xxxxxxxxxxxxxx