News
Main 14, 2013
- Hotel rooms are going slowly. The hotel has released the remaining rooms in the block, but you can still reserve at the workshop rate by calling them and mentioning the "ACL2 Workshop". If you haven't reserved your rooms, please do so soon. It helps the workshop finances.
April 27, 2013
- Call for Participation is now available. Remember to register at the convention hotel. See hotel page for details.
April 15, 2013
- Registration is now open. See the registration page for details.
October 30, 2012
- EasyChair website is now available for submissions.