NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

9th NASA Formal Methods Symposium
NFM 2017

NASA Ames Research Center
Moffett Field, CA, USA
May 16-18, 2017


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 made reservations of approx 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 very short walk of the NASA Ames Conference Center. Participants need to call the front desk at 650-603-7100 and ask for rooms reserved under Nasa Formal Methods. You need to provide your name, cell phone, email and a credit card to guarantee the room. Other informations:

  • Reservation need to be made before April 15, 2017.
  • Check-in is between 3-10pm only and checkout is by 11am.
  • Cancellation policy is 24hrs prior to day of arrival.
  • Pick up the key from the west end of Building. 19 at NASA Ames Research Center (North Akron and cross street is Bushnell)

Instructions for Checking In at Ames Research Center

You do not need to stop at the visitor's office for a badge. All attendees, both domestic and foreign, will enter through the Ellis Street gate. Do NOT attempt to enter from Moffett Street, as there is major construction. Show a valid ID at the Ellis Street gate. Make a left from Ellis Street onto Cody Road, and proceed on Cody Road until it becomes Cummins Ave. There is a large parking lot between Cummins and Severyns in front of NFM. Please pay attention as there are many one-way streets near the Conference Center!

Here is a map: Map of Ames Conference Center.

Local Airports

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

Mineta San Jose International Airport (SJC): For information about arrivals and departures, flight schedules, and airlines serving SJC, 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 at NASA Ames

0.8 miles to Moffett Federal Airfield

5 Fairchild Drive, Mountain View, CA, US, 94043

Reservations: 866-573-4235‎

Rates from $118/night

County Inn

1.3 miles to Moffett Federal Airfield

850 Leong Drive | Mountain View, CA 94043

Reservations: 866-678-6350‎

Rates from $91/night

Days Inn and Suites Sunnyvale

1.4 miles to Moffett Federal Airfield

504 Ross Drive | Sunnyvale, CA 94089 US

Reservations: 866-767-0278‎

Rates from $67/night

Sheraton Sunnyvale Hotel

1.4 miles to Moffett Federal Airfield

1100 North Mathilda Ave | Sunnyvale, CA 94089

Reservations: 866-925-4159‎

Rates from $224/night

Larkspur Landing Sunnyvale

1.7 miles to Moffett Federal Airfield

748 N. Mathilda Avenue | Sunnyvale, CA 94085

Reservations: 866-538-0251‎

Rates from $221/night

Hampton Inn and Suites Mountain View

1.9 miles to Moffett Federal Airfield

390 Moffett Blvd. | Mountain View, California, 94043-4726

Reservations: 866-538-1314‎

Rates from $179/night

Visa information

The National Academies International Visitors Office

US Department of State

General Chair

Misty Davies
(NASA Ames)

Program Chairs

Clark Barrett
(Stanford University)

Temesghen Kahsai
(NASA Ames / CMU)

Local organization

Guy Katz
(Stanford University)

Rody Kersten
(CMU Silicon Valley)

Program Committee

Aarti Gupta (Princeton)
Alberto Griggio (FBK-IRST)
Alessandro Cimatti (FBK-IRST)
Alwyn Goodloe (NASA Langley)
Arie Gurfinkel (University of Waterloo)
Cesare Tinelli (University of Iowa)
Christoph Torens (German Aerospace Center)
Daniel Kroening (University of Oxford)
Dejan Jovanović (SRI)
Dino Distefano (Facebook)
Dirk Beyer (LMU Munich)
Domagoj Babic (Google)
Ella Atkins (University of Michigan)
Eric Feron (Georgia Tech)
Ewen Denney (SGT / NASA Ames)
Gerwin Klein (NICTA and UNSW)
John Harrison (Intel)
John Rushby (SRI)
Jorge Navas (SRI)
Julia Badger (NASA)
Kalou Cabrera Castillos (LAAS-CNRS)
Kelly Hayhurst (NASA)
Kirstie L. Bellman (The Aerospace Corporation)
Klaus Havelund (NASA JPL)
Kristin Yvonne Rozier (Iowa State University)
Lael Rudd (Draper)
Lee Pike (Galois)
Martin Schäf (SRI)
Mats Heimdahl (University of Minnesota)
Meeko Oishi (University of New Mexico)
Mike Hinchey (Lero-the Irish Software Engineering Research Centre)
Michael Lowry (NASA Ames)
Murali Rangarajan (Boeing)
Natasha Neogi (NASA Langley)
Neha Rungta (AWS)
Nikolaj Bjorner (Microsoft Research)
Patrice Godefroid (Microsoft Research)
Philipp Ruemmer (Uppsala University)
Pierre-Loïc Garoche (ONERA)
Rajeev Joshi (NASA JPL)
Sriram Sankaranarayanan (University of Colorado Boulder)
Susmit Jha (United Technologies)
Virginie Wiels (ONERA)
Wenchao Li (Boston University)
Zvonimir Rakamaric (University of Utah)

First Gov logo
NASA Logo -