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

Local Information

The symposium will be held at the Newport News Marriott at City Center[*] in the vibrant city of Newport News, Virginia, USA. Attendees are responsible for making their own hotel reservations. A group rate to attend NFM2018 is available at the Newport News Marriot until March 16, 2018.[*]. Reservations: +1 (866) 329-1758. The code of the group rate is NASA.

Newport News, Virginia[*], is the 5th most populous city in the Commonwealth of Virginia. It is located at the heart Hampton Roads[*] metropolitan area. In addition to the attractions at Newport News City Center[*], there are several nearby attractions in Newport News and Hampton, including the following.

  • The Mariners' Museum and Park.[*] Explore over 90,000 square feet of gallery space with rare figureheads, handcrafted ship models, Civil War ironclad USS Monitor, artifacts, paintings, and much more.
  • The Virginia Living Museum.[*] Living exhibits depict Virginia's natural heritage from the mountains to the sea. Meet animals that live in a cypress swamp, mountain cove and limestone cave, plus underwater in the Chesapeake Bay.
  • U.S. Army Transportation Museum.[*] The story of the Army's Transportation Corps, from horse-drawn wagons to all-terrain armored vehicles, is told through exhibits, models, dioramas, and videos.
  • Fort Monroe.[*] Completed in 1834 and named in honor of President James Monroe, Fort Monroe is recognized as the largest stone fort ever built in the United States.
  • The Virginia Air and Space Center.[*] The visitor center for NASA Langley Research Center and Langley Air Force Base. This world-class facility features the Adventures in Flight and Space Quest galleries and more than 100 "hands-on" exhibits that tell the story of air and space exploration.

Visitors can also use the opportunity to visit other parts of the Hampton Roads[*] area, which are easily accessible by car. The cities of Virginia Beach, Norfolk, and Williamsburg offer a host of attractions and dining options. All are less than an hour's drive away.


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