NFM 2017 - 2nd
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
Program is now available. NFM'17 is free to attend, but note
that registration is required.
Theme
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
Program
The symposium schedule is now available at https://ti.arc.nasa.gov/events/nfm-2017/schedule/
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)