FMCAD 2011
Formal Methods in Computer-Aided Design
Austin, TX, USA
October 30 - November 2

Conference Location

AT&T Executive Education and Conference Center
1900 University Avenue
Austin, Texas, 78705, USA
+1 512 404 1900

The tutorial day is in room 106 and the regular session days are in room 204 (the amphitheater).

Map of Event Locations

The informal gathering on the 30th will be held at Scholz Garten. The banquet on the 1st is at Judges Hill. This map shows the location of these venues.


***Update: Book your hotel room soon. While we planned to have the conference during a weekend without a university football game, the schedule changed, and we are now competing with those attendees for hotel space. There's also another large conference in the local area during our conference.***

You can register for staying at the AT&T Center by clicking here. You may alternatively register by calling the hotel, though please make sure to ask for the negotiated FMCAD rate (group code "FMCADE1011") of $159/$179 a night (note that if you make the booking by phone, there's a chance that their system will show the hotel as fully booked when there is actually space. Please excuse this annoyance). The AT&T Center is an outstanding luxury hotel, and we have negotiated a great rate which is much less than the normal rate. In doing so, we have blocked this rate against a minimum room quota, so please help us keep FMCAD registration rates low by taking advantage of this opportunity to stay at one of Austin's finest hotels at this special price. The deadline for this special registration rate is October 14, 2011.

Table of Rates

RoomSingle/Double Rate
Standard King$159
Standard Double Queens$159
Tower View King$179
Tower View Double Queens$179
Executive Parlor Murphy Queen Exterior$159
Executive Parlor Murphy Queen Interior$159
Presidential Suite$599

View from the Outside

Hotel Entryway

Conference Meeting Room

Bedroom with King-sized Bed

Drink Bar

Food Bar

In case the AT&T Center is full, or if you would prefer to stay elsewhere, you could look into one of the nearby hotels. Such hotels include the following (we also list the AT&T Center rates for comparison):

Hotel Name Price Range Address Comment
AT&T Center $159-599 1900 University Avenue, Austin, TX 78705 The conference hotel
The Mansion at Judges Hill $139-199 1900 Rio Grande Street, Austin, TX 78705 This is a special discount.
(email Rager for information on how to get these rates).
It's the 2nd nearest hotel to the conference and also where we are having the banquet.
The Driskill Hotel $260-570 604 Brazos St. Austin, Texas 78701 Very nice but about a mile from the conference venue
La Quinta Inn $125-175 300 East 11th St., Austin, TX, 78701 More humble but also more reasonably priced
Double Tree Guest Suites $194-610 303 W. 15th Street, Austin, TX 78701 Nice, third closest to the conference
Super 8 Est. Cheap 1201 North I-35, Austin, TX 78702 Cheap, it's a motel chain
Travelodge Highland Mall, Austin Est. Cheap 6200 Middle Fiskville Rd, Austin, TX 78752
Cheap, it's a 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
Days Inn University Downtown Est. Cheap 3105 N Interstate 35 - Austin, TX, United States 78722
Slightly more upscale motel chain

Room sharing information is available at this Google group.

Local Information

Getting to the Hotel from the Airport:
The hotel is about 20mins away from the airport depending on traffic.

What's going on in Austin:
A good place to start is