Venue / Travel

Visible to the public 


The Formal Methods at Scale meeting will be held at the SRI International in Menlo Park, CA, USA on October 9, 2019. Located in Silicon Valley, this innovative international headquarters is just a 7 minute drive to Stanford University’s campus.

Travel Support

Guidelines for non-government attendees receiving travel support can be found at

Local Area Hotels

Below is a list of local area hotels indicating their proximity to SRI and whether they offer government per diem:

Menlo Park Inn

0.6 miles from SRI

Stanford Park Hotel

0.9 miles from SRI

Hotel Lucent (Government Per Diem)

0.4 miles from SRI

Best Western (Government Per Diem)

0.9 miles from SRI

Sheraton Palo Alto (Government Per Diem)

1.3 miles from SRI

Best Western Plus Executive Suites (Government Per Diem)

2.2 miles from SRI


SRI International is located at 333 Ravenswood Avenue, Menlo Park, CA 94025-3493.
For directions on navigating directly to SRI (from the San Francisco, San Jose, Redwood City, Palo Alto, and East Bay areas), there is an extensive directions page on the SRI International website.