NFM 2017 - Call
For Participation
The 9th NASA Formal
Methods Symposium
-------------------------------------
https://ti.arc.nasa.gov/events/nfm-2017/
May 16 - 18, 2017
NASA Ames Research
Center
Moffett Field, CA, USA
The
NASA Formal Methods Symposium (NFM) is a forum to foster
collaboration between theoreticians and practitioners from
NASA, academia, and industry. NFM’s goals are to identify
challenges and to provide solutions for achieving assurance
for mission-critical and safety-critical systems at NASA and
in the aerospace industry. The
focus of the symposium will be on formal techniques and
other approaches for software assurance, their theory,
current capabilities and limitations, as well as their
potential application to aerospace, robotics, and other
NASA-relevant safety-critical systems during all stages of
the software life-cycle.
Keynote speakers
* Michael Wagner, Carnegie Mellon University
* Ben Haldeman, Planet Labs
* Manu Sridharan, Uber Technologies Inc.
* Jason Crusan, NASA Advanced Exploration Systems Division
* Alexandre
Arnold, Airbus
Accepted papers
A total of 31 excellent papers were accepted. The full
list can be found here: https://ti.arc.nasa.gov/events/nfm-2017/papers/
Registration
NFM 2017 will be held at NASA Ames Research
Center, Moffett Field, CA on May 16 to 18, 2017. 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 via the
link below. Foreign Nationals will need to send extra
information and allow at least three weeks for processing
time after all of the information has been received.
Register here: https://ti.arc.nasa.gov/events/nfm-2017/registration/
Co-located event: AFM Workshop 2017
AFM is a one-day workshop centered
around the use and integration of highly automated
formal verification tools for specification, interactive
theorem proving, satisfiability (SAT) and satisfiability
modulo theories (SMT), model checking, program
verification, static analysis, runtime verification,
code generation, and testing, as well as interfaces,
documentation, and education. AFM functions both as a
user's meeting for SRI's tools such as PVS, SAL and
Yices, and as a workshop for those interested in state
of the art automation for formal methods generally.
Paper deadline: March 27, 2017
Workshop: May 19, 2017
More information: http://fm.csl.sri.com/AFM17/
Organization
General Chair
Misty Davis (NASA Ames)
Program Chairs
Clark Barrett (Stanford University)
Temesghen Kahsai (NASA Ames / CMU
Silicon Valley)
Local Organization
Guy Katz (Stanford University)
Rody Kersten (CMU Silicon
Valley)