FMCAD 2015
Formal Methods in Computer-Aided Design
September 27-30, 2015
Austin, Texas, USA


A Google map which has all the FMCAD'15 event venues marked is available here.

For parking at UT, please see the UT Visitor's Map.

Conference Location

FMCAD 2015 will be held at the AVAYA Auditorium (2.302), POB building, on the campus of the University of Texas at Austin.


Austin is well-connected by air. The Austin-Bergstrom International Airport has direct flights from many U.S. cities. There is a British Airways direct flight from London Heathrow to Austin; this is probably the most convenient way of reaching Austin from Europe.

You can get to your hotel or UT from the Austin airport by any of the following means:

Food on the UT Campus

Lunch, included in the FMCAD conference registration, is catered by O's Campus Cafe, which is located very close to the conference room.

There are a lot of other good lunch options at/near UT campus, though they are not included with the registration. Here's a list of some of those options.


We strongly recommend that you book your accommodation at the earliest possible. September is a busy time in Austin (ACL, UT football, etc.), and accommodations are rented out pretty early. We have made arrangements at the following two places:


FMCAD'15 reception will be held at the Bismark Room of Scholz Garten on Sunday, 27th September, 2015, from 7:00 pm to 9:00 pm.

Scholz Garten is walking distance from the hotels as well as the UT campus. It is one of the oldest restaurants in Austin (established in 1866; its history is pretty interesting, if you like that sort of a thing) and offers good German fare.


FMCAD'15 banquet will be held at the Cotillion room of Green Pastures on Tuesday, 29th September, 2015 from 7:00pm to 11:00pm.

Green Pastures is a majestic Victorian estate that epitomizes Southern hospitality. It has beautiful gardens with peacocks strolling under oak trees. It, too, has an interesting history.

Transport to/from Green Pastures via RR Limo shuttles has been arranged by us and is included in the registration fee. You can identify the shuttle by RR Limo's logo and also an FMCAD sign. The shuttle can seat 46 passengers.

Trip to Green Pastures: The pick-up location at the UT campus is the corner of W. 21st St and University Ave. (see map above). The shuttle will leave the campus at 6:30pm, drop the passengers off to Green Pastures, and then come back to W. 21st and University Ave. at around 7:00-7:15pm for a second trip.

Trip from Green Pastures: The shuttle will leave Green Pastures at 9:30pm, drop people off at the hotel, and then be back for another trip at around 10:00-10:15pm. The shuttle will stop over at 6th Street, Austin's historic street and entertainment district, before going to the final destination --- the hotel. Note that if you do choose to disembark at 6th street, you are on your own for the return journey to your hotel. However, several Austin city buses, especially the Night Owls, are available for transport. More details will be given during the conference sessions at the day of the banquet.

If you miss the shuttle on both its trips... you can always take the city bus 5 to commute to/from Green Pastures.

Valid HTML 4.01 Transitional