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.