NASA Logo, National Aeronautics and Space Administration

12th NASA Formal Methods Symposium
NFM 2020


NASA Ames Research Center
Moffett Field, CA, USA
May 11-15, 2020

Location

The symposium will take place at the NASA Ames Conference Center, Moffett Field, California, USA. You will need a valid ID to get into NASA.

NASA Ames Lodge

We have placed a block on 50 rooms at the NASA Ames Lodge, which offers a variety of great accommodations in the NASA Research Park, at exceptionally reasonable prices. There are two buildings, both within a short walk of the NASA Ames Conference Center. We will provide more information later on.

Local Airports

Mineta San Jose International Airport (SJC): For information about arrivals and departures, flight schedules, and airlines serving SJC, go here.

San Francisco International Airport (SFO): For information about arrivals and departures, flight schedules, and airlines serving SFO, go here.

Oakland International Airport (OAK): For information about arrivals and departures, flight schedules, and airlines serving OAK, go here.

Public Transportation

Caltrain has many stops between San Francisco and Gilroy. There is a Mountain View Caltrain station located at 600 W. Evelyn Ave., less than two miles from NASA Ames.

Here are printable schedules for the weekday and weekend.

The Mountain View VTA Bus Center is located at 700 W. Evelyn Ave., less than two miles from NASA Ames. To access the MTA routes and timetables for light rail, buses, etc., go here.

Local Hotels

The Mountain View area boasts many quality accommodations. Here are some that are within 2 miles of NASA Ames Research Center.

Quality Inn & Suites

0.8 miles to Moffett Federal Airfield
5 Fairchild Drive, Mountain View, CA, US, 94043
Reservations: 800-760-7718

County Inn

1.3 miles to Moffett Federal Airfield
‎ 850 Leong Drive, Mountain View, CA 94043
Reservations: 650-961-1131‎

Days Inn and Suites Sunnyvale

1.4 miles to Moffett Federal Airfield
504 Ross Drive, Sunnyvale, CA 94089 US
Reservations: 408-734-9900

Sheraton Sunnyvale Hotel

1.4 miles to Moffett Federal Airfield
1100 North Mathilda Ave, Sunnyvale, CA 94089
‎ Reservations: 866-238-4218‎

Larkspur Landing Sunnyvale

1.7 miles to Moffett Federal Airfield
748 N. Mathilda Avenue, Sunnyvale, CA 94085
‎ Reservations: 408-733-1212

Hampton Inn and Suites Mountain View

1.9 miles to Moffett Federal Airfield
390 Moffett Blvd, Mountain View, California, 94043-4726
‎ Reservations: 650-988-0300‎

Visa information

The National Academies International Visitors Office

US Department of State

For Letters of Support, please contact ritchie.lee@nasa.gov

Contact

Feel free to contact us if you have any question:

General Chairs

Dimitra Giannakopoulou
(NASA Ames)

Anastasia Mavridou
(NASA Ames / SGT)

Program Chairs

Ritchie Lee
(NASA Ames / SGT)

Susmit Jha
(SRI International)

Local organization

Maxime Arthaud
(NASA Ames / SGT)

Hamza Bourbouh
(NASA Ames / SGT)

First Gov logo
NASA Logo - nasa.gov