Registration
Registration for the ACL2 Workshop 2013 is now open. The cost is $200 for regular registration and $100 for students. T-shirts are optional (but encouraged), and the price is $15 per shirt. The banquet is included as part of registration. You may choose to buy additional banquet tickets for $50 each when you register.