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 2012 travel rollover
NFM accepted papers rollover
NFM 2012 program rollover
NFM 2012 invited speakers rollover
NFM 2012 Local Information
NFM 2012 History rollover
  NFM 2012 4th NASA Formal Methods Symposium header image

kincaids logo Kincaid's Restaurant
300 Monticello Avenue, Suite 417
Norfolk, VA 23510 (in the MacArthur Center)

DATE: Wednesday, April 4th
TIME: 6pm - 8pm
TICKET PRICE: $30/per person. Does not include beverages.
** Tickets will be available for purchase at registration — cash only please **

The restaurant is located in downtown Norfolk, within walking distance (0.3 miles, 6 minutes walk) from the Waterside Marriott, taking the Atlantic Street to Monticello Avenue route.
+ Directions from Waterside Marriott on Google Map


The Tide — Virginia’s first light rail system —officially began operations on August 19, 2011. Consisting of eleven stations, the Tide connects major employment, educational, entertainment and shopping centers along Norfolk’s most heavily trafficked areas.

Adult $1.50
Youth (under 18, ID may be required) $1.00
Seniors and Persons with Disabilities $0.75
Child (under 38” tall) Free
1-Day GoPass $3.50
Bundle of Five 1-Day GoPasses $16.50
1-Day GoPass (S,D,Y) $1.75
Bundle of Five 1-Day GoPasses (S,D,Y) $8.75

Tickets may be purchased online or at Ticket Vending Machines at any of the eleven stations. Tickets may be purchased with either cash, credit, or debit cards.

The Tide operates on an honor system, so be prepared to show your fare card upon request.

For maps, schedules, and more information, visit the Hampton Roads Transit website.

light rail map

MacArthur Square Station
The station is adjacent to the MacArthur Center Mall, the Douglas MacArthur Memorial, the business district along Main Street, Waterside Festival Marketplace, Nauticus, and the Waterside Marriott.

Monticello Station
Serves the The Norfolk Scope, Chrysler Hall, MacArthur Center Mall, the entertainment, restaurant and commercial district along Granby Street, the Roper Center for the Performing Arts, and The Wells Theater

York Street/Freemason Station
Walking distance to the Chrysler Museum of Art.

Harbor Park Station
Easy access to Harbor Park, home of the Norfolk Tides.


More than 50 restaurants Downtown, many within walking distance of the downtown convention hotels featuring a variety of cuisines. Many are chef-owned and operated.

American Steakhouses Chinese Cuban
Mexican Irish Barbeque Sports Bars
Local Seafood Spanish Tapas Italian  
  • Waterside Festival Marketplace contains additional restaurants, specialty shops and kiosks
  • MacArthur Center Mall features over 150 retail shops, movie theatres, a food court on the 3rd level, and three popular restaurants


Nauticus, Naval History Museum, and Battleship Wisconsin
Nauticus is Norfolk’s premier maritime science museum located on the downtown Norfolk waterfront. Explore the power of the sea through a digital high-definition movie on a giant screen in the Theater, touch a live shark, take on America’s best ship designers in a race to design “Battleship X,” tour the Battleship Wisconsin, one of the largest and last battleships ever built by the U.S. Navy. Visit the Banana Pier Gift Shop which offers nautical gifts and educational toys. Hours of Operation: Tuesday – Saturday 10am – 5pm. Sundays 12pm – 5pm. Mondays closed. 757.664.1000

Chrysler Museum of Art
The Chrysler Museum is located near downtown Norfolk and overlooks the Hague Inlet of the Elizabeth River. Founded in 1939 as the Norfolk Museum of Arts and Science, the Museum was presented the art collection by Walter P. Chrysler, Jr., heir to the automobile company. The Museum houses an encyclopedic collection of nearly 40,000 objects which includes an impressive survey of European and American painting and sculpture, a world-renowned glass collection, a rich photography program, Art Nouveau furniture, as well as art from Africa, Asia, Egypt, Pre-Columbia and Islam. The Tiffany Gallery highlights a survey of Louis Comfort Tiffany’s legendary artistry in glass, pottery, metal work and enamels. The Museum’s holding of Tiffany’s glass constitutes one of the premier collections of its kind in the world.

Norfolk Botanical Garden
Norfolk Botanical Garden, a premier horticulture attraction located in the heart of the Hampton Roads. The Garden represents an oasis of more than 30 distinctly themed gardens encompassing 155 breath-taking acres. Bordered on three sides by the picturesque beauty of Lake Whitehurst, Norfolk Botanical Garden offers tours by foot, tram and boat. The Garden brilliantly features some of the East Coast’s largest collections of azaleas, camellias, roses and rhododendrons. 6700 Azalea Garden Road

MacArthur Center Mall - Shopping
Located in the heart of downtown Norfolk, and just a few blocks from the waterfront, MacArthur Center is the only place in Southeastern Virginia where you can experience World Class Shopping in a world class environment. Nordstrom, Dillard's, and 140 extraordinary stores, along with an 18-screen theater surround a beautiful 70-foot atrium.

MacArthur Memorial Museum
The MacArthur Memorial is a museum dedicated to presenting the life and times of General of the Army Douglas MacArthur. The museum proper is housed in Norfolk’s former city hall and courthouse, which was built in 1850 and is designated as both a Virginia Historic Landmark and a National Historic Place. Planned around an imposing rotunda featuring General and Mrs. MacArthur’s crypts, nine galleries of exhibits portray the career of one of America’s best known military heroes. Adjacent buildings include a theater with special exhibit galleries as well as an auditorium where “The MacArthur Story” film is shown, an education facility that houses a library and extensive archives, and a gift shop where General MacArthur’s 1950 Chrysler Imperial limousine is on display.

  The Spirit of Norfolk/ Entertainment Cruises
Enjoy Norfolk’s most vibrant and entertaining dining cruise experience sailing from downtown. Uniquely refreshing and deliciously different, the Spirit of Norfolk offers customized as well as all inclusive dining excursions for individuals and groups. Days of Operation/Days of Operation: Everyday, year round, for lunch, dinner, mid-day and moonlight cruises.

Victory Rover Naval Base Cruises
A Front Row Seat to the Naval Fleet - The Victory Rover departs daily from Nauticus in Downtown Norfolk on a two Hour Narrated tour of the Elizabeth River, Hampton Roads Harbor and the Norfolk Naval Station - the world's largest Naval Base. On board there is ample comfortable seating, open air top deck; large climate controlled main cabin, restrooms and snack bar. Cruise smoothly up the Elizabeth River passing Old Fort Norfolk, Norfolk International Terminals, Norfolk Southern Coal Piers, Downtown Norfolk and Portsmouth and the ships of the Atlantic Fleet. Days of Operation: March - December Daily.

American Rover Tall Cruise Ship
The American Rover is 135 Foot Long, three masted sailing ship departing from Waterside in Downtown Norfolk and sailing the smooth waters of the Elizabeth River and Hampton Roads Harbor. She is completely Coast Guard Certified and inspected to insure a safe and comfortable cruise. A regular schedule of narrated Harbor Tours under sail departs daily from April through Late October. Group rates are available as well as hands on educational programs and student party cruises. On board amenities include ample comfortable seating, shaded top deck, climate controlled below deck lounges, restrooms and ship store and bar. Catering options are available.


PORTSMOUTH FERRYTraveling between Waterside Festival Marketplace in downtown Norfolk, and North Landing and High Streets in Portsmouth, the Paddlewheel Ferry operates every 30 minutes. The fare to board is $1.50 for Adults/Youth and $0.75 for Seniors and Persons with Disabilities. For maps, schedules, and more information, visit the Hampton Roads Transit website.

Many of Portsmouth’s attractions, restaurants, and historic areas are within walking distance of the High Street ferry landing; for more information visit the following sites:

  The Official Visitor Center for NASA Langley Research Center

virginia air and space centerThe visitor center for NASA Langley Research Center and
Langley Air Force Base, VASC features hands-on aviation
& space exhibits spanning 100 years of flight, more than
30 historic aircraft, space flight artifacts and a giant-
screen 3D IMAX Theater.

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