Tenth NASA Formal Methods Symposium (NFM 2018)

30 Years of Formal Methods at NASA

Newport News Marriott at City Center[*]

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



The symposium will be held at Newport News Marriott at City Center[*], 740 Town Center Drive, Newport News, VA 23606, USA. Phone: +1 (757) 873-9299. Reservations: +1 (866) 329-1758.

The Newport News Marriott is located at the City Center at Oyster Point[*]. This city area offers restaurants, retail shopping, cafés, nightlife and picturesque scenery — all within walking distance.

Attendees are responsible for making their own hotel reservations. A group rate to attend NFM2018 is available at the Newport News Marriott until March 16, 2018 through this link[*]. Reservations: +1 (866) 329-1758. The code of the group rate is NASA.


Two airports serve the Hampton Roads metropolitan area:


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