The ACL2 Workshop 2007 will be held at the Renaissance Austin Hotel in the Arboretum area of Austin, Texas. FMCAD has reserved a block of rooms at this hotel. The block covers both FMCAD itself and the ACL2 Workshop. Visit the FMCAD Venue website for details on the hotel and hotel registration.
Host to half of the previous workshops, Austin is no stranger to the ACL2 community. Austin features good food, great music, and many opportunities for recreation, both indoors and outdoors. November is a great time to visit the Texas capital, as the summer heat has died down, and before what passes for winter in the south is started. Travel to Austin is fairly easy, with air connections from all major cities in the US.
Note: Graduate Student Day has been canceled, so there will not be a UT session on Saturday.