[Hol-info] NFM 2017 - Call For Participation

[Rody K. <rod...@sv...>]

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)