Follow this link to go to the text only version of nasa.gov

 

NASA - National Aeronautics and Space Administration
Follow this link to skip to the main content
+ Contact NASA
Go
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 2012 TRAVEL
NFM accepted papers rollover
NFM 2012 program rollover
NFM 2012 invited speakers rollover
NFM 2012 Local Information Rollover
NFM 2012 History rollover

 

PLEASE NOTE:
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
   
  CONFERENCE LOCATION
   
 

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

 
OTHER AREA HOTELS

Our recommendations include:

Courtyard Norfolk Downtown:
520 Plume Street · Norfolk, Virginia 23510 USA · (757) 963-6000
http://www.marriott.com/hotels/travel/ORFDT-Courtyard-Norfolk-Downtown
.2 mi / 5 min. walk

 

 
AREA AIRPORTS

Norfolk - ORF
http://www.norfolkairport.com/

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 http://www.norfolkairport.com/flightinfo/routemap.htm

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
http://www.flyphf.com
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. **

   
  RENTAL CAR INFORMATION
       
  NORFOLK AIRPORT (ORF)   NEWPORT NEWS/WILLIAMSBURG AIRPORT (PHF)
 
Alamo
(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

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

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. http://www.gohrt.com/services/the-tide/

   
  PARKING
   
 
  • 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

   
  DRIVING ACCESSIBILITY
   
 

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.

   
  FOREIGN CURRENCY EXCHANGE
   
 

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
L
ast Updated: January 23, 2012