Venue

The NFM 2026 Symposium will be held at the Michelson Center for Convergent Bioscience (MCB), Room 101, on the campus of the University of Southern California.
Address: 1002 Childs Way, Los Angeles, CA 90089

Airports

The closest large international airport to the University of Southern California is Los Angeles International Airport (LAX). Some American cities also have flights to Hollywood Burbank Airport (BUR), although the commute is longer.

Directions to the venue

While Los Angeles has a significant railway system, the easiest way to get to the USC campus from any airport is still by using rideshare services. Uber, Lyft and Opoli operate in Los Angeles. In LAX, travelers must first take a free shuttle (green buses labeled LAX-it) to the ridesharing area to use these services.

Metro line E connects Santa Monica to Downtown LA with three stops around USC. Specifically, “Expo Park / USC” is the closest metro station to the Michelson Center. To use the metro (or any public transportation system in LA), travelers need to use a TAP card, which can be purchased at most metro stations via TAP vending machines or through the official Tap App.

Parking

For attendees who want to drive, daily and hourly parking options are available in and around the campus (Check here). Attendees are responsible for covering their own parking costs. Payment instructions are here: Link

Attendees are encouraged to use the following parking structures:

Royal Street Structure (Map Link)
Attendees can use a digital parking pass system to park without stopping at a gate entrance booth. Please follow the instructions below to register your vehicle.
- Registration Link: https://www.offstreet.io/events/03Q8ZYWB
- Enter Vehicle License Plate: Please ensure the correct State/Province is selected.
- Enter Pass Code: 404564
- Parking Confirmation Receipt: After completing registration, you may enter your email address to receive a confirmation receipt.
Important: Please do not park in any reserved/signage space as these are for reserved permit holders only!
USC Shrine Parking Structure (Map Link)
USC Figueroa Parking Structure (Map Link)

Dining

The University of Southern California campus offers a variety of convenient dining options, including cafés, food courts, and dining halls within walking distance of the conference venue.

Parkside Dining Hall (4 min walk)
RTH Café (2 min walk)
Annenberg Café (4 min walk)
RTCC Food Court (5 min walk)
Honors Dining Hall (9 min walk)
USC Village has multiple restaurants and cafés including Bruxie, Café Dulce, CAVA, City Tacos, Il Giardino, Jimmy John’s, Starbucks, Yoboseyo, etc. (10 min walk)

In addition, attendees will find numerous dining options just off campus, including Thai by Trio, Northern Cafe, 901 Bar and Grill, Rock and Reilly’s, Mercado La Paloma etc.

Hotels

There is a variety of accommodation choices available around the venue. USC operates a hotel adjacent to the campus, which is around 10 minutes walk from the venue. We have secured a group rate at the USC Hotel for attendees of the NASA Formal Methods Symposium 2026. Reservations can be made by emailing hotelreservations@usc.edu or by calling 833-226-6587 or 213-748-4141 and mentioning the group name “NASA Formal Methods Symposium 2026.” Rooms can also be booked using the link. Guests are responsible for their own accommodation and any additional charges. Overnight parking is available at $35 plus tax per night, also paid individually. The last day to book under the group rate is April 17, 2026.

In addition, there are several other hotels near USC in Downtown Los Angeles (DTLA). Some of these are listed below, sorted alphabetically.