![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Wed, 15 Feb 2012 08:12:49 -0500
Subject: [SEWORLD] NFM 2012 Call for Participation
From: Suzette Person <suzetteperson@gmail.com>
To: seworld@sigsoft.org
===================================================
CALL FOR PARTICIPATION
Fourth NASA Formal Methods Symposium
http://shemesh.larc.nasa.gov/nfm2012/index.html
April 3-5, 2012
Norfolk, Virginia, USA
===================================================
The NFM 2012 program is available online:
http://shemesh.larc.nasa.gov/nfm2012/program.html
REGISTRATION IS NOW OPEN
To register: http://shemesh.larc.nasa.gov/nfm2012/registration.html
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.
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.
Invited speakers:
* Andrew Appel, Princeton University
“Verified Software Toolchain”
* Patrick Cousot, École normale supérieure, Paris and New York University
“Formal Verification by Abstract Interpretation”
* Cesare Tinelli, University of Iowa
“SMT-based Model Checking”
Contact Information:
nasa-nfm2012@mail.nasa.gov
Conference 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 Badger, 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
From: "PERSON, SUZETTE (LARC-D320)" <suzette.person@nasa.gov>
To: "fm-announcements@lists.nasa.gov" <fm-announcements@lists.nasa.gov>,
"larc-nia-fm@lists.nasa.gov" <larc-nia-fm@lists.nasa.gov>
Date: Tue, 6 Dec 2011 12:27:07 -0600
Subject: [ecoop-info] [fm-announcements] NFM 2012 Paper Submission Deadline
extended to December 18, 2011 (11:59pm EST)
The paper submission deadline for the 2012 NASA Formal Methods Symposium has been extended to December 18, 2011 (11:59pm Eastern Standard Time).
**Note** The paper title and abstract are still due December 11, 2011 (11:59pm Eastern Standard Time) .
NFM 2012 PAPER SUBMISSION DEADLINE EXTENDED
Fourth NASA Formal Methods Symposium
Norfolk, Virginia, USA
April 3 - 5, 2012
http://shemesh.larc.nasa.gov/nfm2012/
nasa-nfm2012@mail.nasa.gov
--------------------------------------------------
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 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.
--------------------------------------------------
Topics of Interest:
--------------------------------------------------
* Formal verification, including theorem proving, model checking,
and static analysis
* Automated test generation and testing techniques for safety-critical systems
* 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 systems
* Formal methods in systems engineering
--------------------------------------------------
Submissions:
--------------------------------------------------
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 reviewed by members of the program committee. Papers must use
the LNCS style and be put in PDF format in anticipation that we will
publish accepted papers (including regular papers and short papers)
in a formal proceedings.
Papers should be submitted through the following link:
http://www.easychair.org/conferences/?conf=nfm2012
-------------------------------------------------------
Program Chairs:
-------------------------------------------------------
Alwyn Goodloe, NASA Langley Research Center
Suzette Person, NASA Langley Research Center
-------------------------------------------------------
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 V. Rozier, NASA Ames Research Center
-------------------------------------------------------
Important Dates:
-------------------------------------------------------
Submission: 11 December 2011
Notification: 21 January 2012
Final Version: 4 February 2012
Conference: 3 - 5 April 2012
-------------------------------------------------------
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.
From: "PERSON, SUZETTE (LARC-D320)" <suzette.person@nasa.gov> To: "fm-announcements@lists.nasa.gov" <fm-announcements@lists.nasa.gov> Date: Fri, 21 Oct 2011 09:11:49 -0500 cc: NASA-NFM2012 <nasa-nfm2012@mail.nasa.gov> Subject: [ecoop-info] [fm-announcements] NASA Formal Methods Symposium - 2nd Call for Papers [ 52 lines deleted; see updated version above -- dc ] -------------------------------------------------- Invited Speakers: -------------------------------------------------- * Andrew Appel, Princeton University * Patrick Cousot, Ecole Normale Superieure, Paris and New York University * Cesare Tinelli, University of Iowa [ 27 lines deleted; see updated version above -- dc ] ------------------------------------------------------- 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 [ 33 lines deleted; see updated version above -- dc ]
To the Ada-Belgium home page.
Last update: 2012/02/20.
Dirk Craeynest