Venue
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 https://cps-vo.org/group/FMScale-west/travel.
Local Area Hotels
Below is a list of local area hotels indicating their proximity to SRI and whether they offer government per diem:
0.6 miles from SRI
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
Directions
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.