ACL2 Workshop 2020 Registration

If you register at the Supporter or Professional level, you will receive an invoice and receipt via email. And thanks! We appreciate your support!

Note: All proceeds from this year's workshop will go directly to the ACL2 operations account, which supports infrastructure used for ACL2 development, testing, and deployment—and will also help future workshops.