Formal Methods in
Computer-Aided Design
30 Oct - 2 Nov, 2018
University of Texas, Austin, Texas

Conference Venue

Conference Location

FMCAD 2018 will be held at:
AT&T Hotel and Conference Center
1900 University Avenue, Austin, TX 78705
+1 512 404 3600


FMCAD 2018 has reserved rooms with the AT&T Center for a reduced rate of $189 (excl. tax) per night, available until 29th Sept. 2018. Use this link to go to a special registration page to get the conference rate for the hotel.

If possible, please choose the conference hotel! The early registration has expired, but the hotel still has rooms available for a similar rate (169-200 USD). When booking the hotel via their website, please mention that you are attending FMCAD. It is of great importance for us to meet our hotel registration obligation. Your help in this is greatly appreciated.

Alternative hotels include the following:

Hotel Name Price Range Address Comment
The Driskill Hotel $319-415 604 Brazos St. Austin, Texas 78701 Very nice but about a mile from the conference venue
Hyatt Hotels Varies Various A number of hotels (including the above alternative) with high grades on Booking.com
Double Tree Guest Suites $198-238 303 W. 15th Street, Austin, TX 78701 Nice, quite close to the conference
Super 8 $138-153 1201 North I-35, Austin, TX 78702 Motel chain
Extended Stay America Austin, Downtown Est. Moderate 600 Guadalupe St, Austin They offer discounted long-term rates, but their short-term rates should be okay


When traveling to Austin from abroad, we recommend to arrive at the Austin-Bergstrom International Airport.

Depending on traffic circumstances, the hotel is about 20 minutes away from the airport. Local transport options include:

  • CapMetro City Bus: Bus 20 is probably the cheapest option (~$2); it runs regularly to and from the Austin airport to downtown and UT area. See also this map.
  • SuperShuttle: is a shared-ride ground transportation option. You can pre-book your round-trip (airport to venue and back) beforehand and save money.
  • Cab: There are many cabs available for hire at the Austin airport.
  • Rental car: Austin airport has the counters of many car rental companies located at the departures area (near the baggage claim).

Things to do in Austin

If you want to learn about things to do in Austin, consult for example austin360 or TripAdvisor or USNews Austin Travel Guide or AustinTexas.org.