Follow this link to go to the text only version of


NASA - National Aeronautics and Space Administration
Follow this link to skip to the main content
+ Contact NASA
About NASA button News and Events Button Multimedia button Missions button popular topics button MyNASA button
NFM 2012 4th NASA Formal Methods Symposium
NFM 2012 rollover for nfm home page
nfm 2012 rollover for submissions page
nfm 2012 rollover for registration page
NFM accepted papers rollover
NFM 2012 program rollover
NFM 2012 invited speakers rollover
NFM 2012 Local Information Rollover
NFM 2012 History rollover


Conference attendees are responsible for their own travel and lodging arrangements, and associated expenses.


  NFM 2012 4th NASA Formal Methods Symposium header image
" "NFM 2012 • TRAVEL

The NFM 2012 Symposium will be conducted at:

Norfolk Waterside Marriott
235 E Main Street · Norfolk, Virginia 23510 USA

Located at the mouth of the Elizabeth River on Norfolk's downtown waterfront, the Waterside Marriott offers restaurants, retail shopping, cafés, nightlife and picturesque scenery — all within walking distance.

A block of rooms is available at the Norfolk Waterside Marriott. The conference rate will be available until March 2, 2012. The following reservation link will lead you to the Norfolk Waterside Marriott's home page with the negotiated rate code already entered in the appropriate field, allowing you to quickly make a room reservation.

+ Reserve a room now at the Norfolk Waterside Marriott

** Conference attendees are responsible for making their own all travel arrangements and paying all related costs **

View Larger Map


Our recommendations include:

Courtyard Norfolk Downtown:
520 Plume Street · Norfolk, Virginia 23510 USA · (757) 963-6000
.2 mi / 5 min. walk



Norfolk - ORF

Phone: 1 757 463 7500
Hotel distance: 9 mile(s) W
Driving directions: Take airport Exit to Norview. Norview Boulevard to I-64 East. I-64 East to 264 (Norfolk Downtown). Take 264 West to Waterside Drive-Downtown.
** The hotel does not provide shuttle service. **

Norfolk International Airport (ORF) is the major airport serving southeastern Virginia

  • Offering hundreds of flights daily
  • Daily non-stop service to 24 major hubs
  • Serviced by major carriers including: Southwest Airlines, Delta, Northwest, American Airlines, Continental, United Express, and US Airways!

Current flight guide is available at

Ground Transportation from ORF

  • Airport shuttle is provided by Carey VIP Airport Connection and operates to all Hampton Roads cities. Norfolk Airport Connection is located outside baggage claim at the booth "Airport Express Shuttle Service."
  • Taxi service is approximately $25.00 one way from the airport to downtown Norfolk
  • Private transportation is provided by Orange Peel Transportation: 757-463-7500
  • With combined citywide fleets of over 3,000 vehicles, Norfolk International Airport's seven onsite rental car agencies are ready for group or individual needs.


Newport News/Williamsburg - PHF
Phone: 1 757 963 0433
Hotel distance: 28 mile(s) SW
Driving directions: Take I-64 East across and through Hampton Roads Bridge Tunnel, into Norfolk I-264 West to Waterside Dr. Exit. Turn right on Atlantic St.
** The hotel does not provide shuttle service. **

(800) 462-5266
Avis (800) 831-2847
Budget (800) 527-0700
Dollar (800) 800-4000
Enterprise (800) 736-8222
Hertz (800) 654-3131
National (800) 227-7368
Thrifty (800) 367-2277

(800) 831-2847
Budget (800) 527-0700
Enterprise (800) 736-8222
Hertz (800) 654-3131
National (800) 227-7368

The Norfolk Tide - Virginia’s first light rail system was just completed and began operation in Norfolk in August 2011. Daily service to 11 stations throughout the city. Fares = $1.50 or 1 Day Go-Pass for $3.50.

  • On-site parking, fee: 1 USD hourly, 19 USD daily
  • Valet parking, fee: 26 USD daily
  • Off-site parking, fee: 1 USD hourly, 14 USD daily
  • All parking owned/operated by City of Norfolk


Two-thirds of the nation’s population is within a day’s drive! Drive time for major cities include: Richmond, 1-1/2 hours; Washington DC, 3 1/2 hours; Roanoke, 5 hours; Charlottesville, 3 hours; Raleigh/Durham, 3 hours: Williamsburg, 30 minutes. Norfolk connects to I-95 at Richmond via 1-64, providing a link with cities from Florida to Maine.


Travelex Currency Service located at Norfolk International Airport in the Departures Terminal near the Pedestrian bridge (757) 855-9785

Currency Exchange International located in MacArthur Center Mall in downtown Norfolk at 300 Monticello Avenue, 1st Floor (Information Desk); Phone: (757) 216-3500 Hours: Mon-Sat: 10am-6pm EST

usa gov logo

+ Freedom of Information Act
+ NASA Web Privacy Policy and Important Notices

get adobe reader

get adobe flash player
NASA - National Aeronautics and Space Administration

NASA Official: Suzette Person
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
ast Updated: January 23, 2012