ACL2 Workshop 2017 Lodging:
The Quarters at Hardin House

Here is information on The Quarters at Hardin House, in addition to what is in the lodging section of the main workshop page.

During academic semesters, Hardin House functions as really nice dormitories for students. In summer, it's available to the public. Hardin House has actual apartments, with private kitchen, living area, bathroom - for our block, 8 of those have been requested as well as a couple of King rooms with private bath.

Breakfast is included and there is a formal dining space and kitchen. They also have a small workout/gym area and a lovely open conference type meeting space in case folks want to meet up before/after scheduled events. Here are some pictures:

One picture shows the conference/meeting area, one is a close-up front-of-property, another from across the street, and there is also a side view of one of the courtyards that shows a little bit of the apartments available. The webpage has a few pictures of beds, etc.

Attendees have the choice of calling/emailing them directly to book, or they can email Lindy Aleshire and she will secure the reservation.