Second NASA Formal Methods Symposium

NFM 2010

Washington D.C., USA, April 13 - 15, 2010

Symposium Location

The NFM 2010 Symposium will be conducted at:
NASA Headquarters
300 E Street S.W.,
Washington, D.C., USA
(In Google Maps)

The symposium will be held in the James E. Webb Auditorium, which is a publicly accessible facility in the NASA Headquarters building. A NASA badge is not required to enter the auditorium.

NASA Headquarters is located in central Washington, DC, close to the U.S. capitol and surrounding buildings. It is also a few blocks away from the National Air and Space Museum and other museums in the Smithsonian group, all of which are located on the periphery of the National Mall. This map will help you find the symposium venue.

NASA HQ is conveniently located near a Metro station. The Federal Center SW station on the Blue Line and Orange Line is the nearest station. Somewhat farther away but still within walking distance is the L'Enfant Plaza station, which is at the intersection of four Metro lines: Yellow, Green, Blue and Orange.

If you are driving, please be aware of the following Road Closures for DC Area - April 12-13, 2010.

This annotated Metro system map will help orient you to the foregoing areas for suggested lodging as well as other important sites accessible by Metro.

Conference Dinner

A conference dinner on a pay-by-yourself basis will take place on April 14 2010, 7:30 pm, at Fadó Irish Pub & Restaurant, 808 7th Street NW Washington, DC, on a pay-by-yourself basis ($US 35 + cash bar). Dinner is open to non-NFM 2010 attendands. Feel free to invite a friend. If you do that, please let us know (nfm2010 [at] so that we have a more precise head-count for the restaurant reservation.

The closest metro station to the restaurant is Gallery Place/Chinatown. Metro Trip Planner provide several ways to go from the L'Enfant Plaza and from Rosslyn metro stations to the Gallery Place/Chinatown metro station.

Local Information

Washington, DC needs no introduction. Nevertheless, visitors can benefit from detailed knowledge about specific neighborhoods, attractions, events and adjacent communities. Washington and the surrounding metropolitan area that extends into Maryland and Virginia offer a wide variety of destinations and activities for visitors. The following web sites provide an overview of some of the more popular choices. Travel to many places of interest is possible using the Metro system. Other destinations might require the use of a car. Visitors can find many additional sources of information through the usual tourist-oriented web sites.


  • NFM 2010 will be held immediately after the end of the Cherry Blossom Festival, a major annual festival in Washington, DC. Attendees might be interested in visiting during the preceding weekend (April 10-11) to take in some of the events.
  • Other events of interest will be announced (Events Calendar) as they become known.


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