The ACL2 Workshop 2026

The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work on ACL2 and the other theorem provers in the Boyer-Moore family.

ACL2-2026 will be held in Menlo Park, California, USA and also online, November 16-18, 2026. The workshop will take place in person at the SRI International headquarters. In addition to in-person participation, the workshop will support online participation for all talks and presentations. The workshop will be the 20th in the series of ACL2 workshops, which occur approximately every 18 months. It will feature technical papers as well as rump sessions that discuss ongoing research.

Dates

Early registration ends: Sept 30, 2026
Regular registration begins: Oct 1, 2026
Workshop: Nov 16-18, 2026

Website Link

Information on the accepted papers, keynote speakers, and venue/lodging is available at:

https://www.cs.utexas.edu/~moore/acl2/workshop-2026/index.html

Your Information

Name

Institution Association

Registration Options

Student early registration ($200.00)
For use in Sept
Professional early registration ($350.00)
For use in Sept
Online only, no T-shirt ($0.00)
Online only with T-shirt ($25.00)
(Chairs won't be mailing T-shirts, so make sure you know someone willing to either hold onto it for you or mail it to you.)
$500 Donation ($500.00)
$1000 Donation ($1,000.00)
Banquet only ($70.00)
Register a guest for the banquet this way

T-Shirt Size (registrations after Oct 10 may not receive a t-shirt)

Billing Information

Name

I am representing an organization

Credit Card

Visa
Mastercard
American Express
Discover

ZIP/Postal Code

Event Registration Software by RegFox