NFM 2016
Navigation

Latest News

Breakout Resources
Schedule
Proceedings
- List of Accepted Papers
- Final Proceedings
Organization
Archive

Keynote speakers announced

Abstracts for the keynote talks are now available, as well as full biographies of the speakers.

Breakout

Breakout session resources

Important Dates

Paper Submission: 2/19/2016
Paper Notifications: 4/8/2016
Camera-ready Papers: 4/27/2016
Symposium: 6/7-6/9/2016

Latest News

Links to keynote slides
Breakout Session Resources
Full proceedings now available
More ›



About NFM

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. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities.

Site Links

Contact
RSS
Atom

Credits

Theme: "Feeling Responsive" by Phlow
Icons by Daniel Bruce
Built on Foundation
Using Backstretch by Scott Robbin

Page created by Jason Biatek.