Austin 2012

The meeting will be held in Austin

• Venue: University of Texas at Austin
• Time: Tuesday December 4 to Saturday December 8
• Local organizer: William Cook

Participants

Top row: Adam Chlipala, Ron Garcia, Tom van Cutsem, Andrew Black, Tijs van der Storm, Gilad Bracha, Shriram Krishnamurthi

Next: Jan-Willem Maeassen, Markus Völter, Stefan Hanenberg

Next: Mads Torgersen, Yannis Smaragdakis, Klaus Osterman, Susan Eisenbach, Alex Loh

Next: Jonathan Edwards, Matthew Flatt, Roberto Ierusalimschy

Bottom: Sean McDermid, Daan Leijen, Manuel Serrano, Eelco Visser

Meetings

We'll be meeting at the new Student Activities Center of the University of Texas at Austin (Google info, campus map). Note that we are in a different room every day.

Howdy Yall!

Our official city slogan is "Keep Austin Weird".

The weather in Texas around december should be nice. Average high temperature of around 66 F (19 C). It might rain, but we should also get some sunshine.

I sometimes say that Austin is not really part of Texas, because we have our own style and are (much) more liberal than the rest of the state. But people are friendly all around. Austin is very green. Both politically and visually. We have lots of trees and grass. There is no sagebrush or desert anywhere near us.

Accommodation

We have 25 rooms reserved at the Star of Texas Bed & Breakfast (at a projected rate of $95. Please wait for further instructions to book your room) The address is 611 W 22nd, Austin, TX 78705 This is a 11 minute walk to the meeting site.

The AT&T Executive Education and Conference Center is slightly closer and much more expensive.

The DoubleTree hotel is about the same distance as the Star of Texas, and in between price. There are some other options nearby as well. This is a 17 minute walk to the meeting site.

Workshop fee

The workshop fee covers food coffee, lunch, dinner, and an outing.

The cost will be approximately $350. Credit card processing is still being arranged.

Getting there

Austin has good travel connections for a small city. You can fly nonstop to Austin from many cities in the US on JetBlue (Boston, New York, Miami (Ft. Lauderdale), San Francisco, Orlando, Los Angeles) and Southwest Airlines (similar to JetBlue but also Atlanta, Washington DC, and Denver). Most other airlines will require a stop in Houston or Dallas.

NOTE that JetBlue and Southwest may not be included in some internet or travel agent searches, so you may need to do some additional research to make sure you have the best air connections.

Once in Austin, a taxi to the venue is approximately $25. Depending on when you arrive, we might also be able to pick you up from the airport. Send me an email if that matters to you.

The 100-AIRPORT FLYER bus is another option. For $1 it takes you directly from the airport to the meeting site (not the hotel). Get off at 23d and San Jacinto. There are not many stops, so you can't get lost. Just ask the driver to tell you where to get off. Catch the bus on the lower level of the airport, near the taxi area. Just ask somewhere where to find it. It leaves every 30 minutes during most of the day.

Members

Visitors

Schedule

Talks