• NFM 2016

  • Navigation
  • Latest News
  • Breakout Resources
  • Schedule
    • Full schedule
    • Breakout Session Resources
    • Keynote: Kathleen Fisher
    • Keynote: Michael L. Aguilar
    • Keynote: Kevin Driscoll
  • Proceedings
    • List of Accepted Papers
    • Final Proceedings
  • Organization
    • Committees
    • Contact
    • History
  • Archive
    • Call For Papers
    • Submissions
    • Registration
    • Location
NFM 2016 – NASA Formal Methods 2016, Minneapolis, MN

Full proceedings now available

The final proceedings for NFM 2016 are available here. They are also linked in the menu above under “Proceedings”.

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.