Tenth NASA Formal Methods Symposium (NFM 2018)

30 Years of Formal Methods at NASA

Newport News Marriot at City Center[*]

Newport News, VA, USA, April 17-19, 2018

Program

  Day 1: April 17, 2018 (Tuesday) 8:15 - 5:30
  Day 2: April 18, 2018 (Wednesday) 8:30 - 5:30
  Day 3: April 19, 2018 (Thursday) 8:30 - 11:45

Times of Talks

  • Keynote Speakers: 1h.
  • Regular Papers: 30min.
  • Short Papers: 15min.

DAY 1: April 17, 2018 (Tuesday)

   7:30 - 8:15 Registration

   8:15 - 8:30 Opening

  • Anthony Narkawicz (NASA)
   8:30 - 9:30 Invited Talk (Chair: Aaron Dutle)    9:30 - 10:00 Break

   10:00 - 12:00 Formal Verification and Theorem Proving (Chair: Ben Hocking)

   12:00 - 1:30 Lunch

   1:30 - 3:00 Formal Methods and Autonomy (Chair: Julia Badger)

   3:00 - 3:30 Break

   3:30 - 5:30 Specification Frameworks (Chair: Kristin Rozier)

DAY 2: April 18, 2018 (Wednesday)

   8:00 - 8:30 Registration

   8:30 - 9:30 Invited Talk (Chair: César Muñoz)

   9:30 - 10:00 Break

   10:00 - 12:00 Symbolic Execution and Testing (Chair: Ivan Perez)

   12:00 - 1:30 Lunch

   1:30 - 3:15 Formal Methods in Emergent Technologies (Chair: Sofiène Tahar)

   3:15 - 3:45 Break

   3:45 - 5:30 Model Checking I (Chair: Mahyar Malekpour)

DAY 3: April 19, 2018 (Thursday)

   8:00 - 8:30 Registration

   8:30 - 9:15 Static Analysis (Chair: Alwyn Goodloe)

   9:15 - 9:30 Tools (Chair: Alwyn Goodloe)

   9:30 - 10:00 Break

   10:00 - 11:45 Model Checking II (Chair: Frédéric Loulergue)

   11:45 - 12:00 Business Meeting (Chair: César Muñoz)

 


Curator and Responsible NASA Official: César Muñoz
LaRC Privacy Statement
Last modified: January 2018