Email Gateway (Sep 04 2026 at 20:28): Email Gateway (Sep 04 2026 at 20:28):From: Sol Swords <sswords@gmail.com>
20th International Workshop on the ACL2 Theorem Prover and Its Applications
November 16-18, 2026, Menlo Park, California, USA and also online
http://www.cs.utexas.edu/users/moore/acl2/workshop-2026/index.html
The 2026 ACL2 Workshop will be held in Menlo Park, California, USA, with
online participation also available. We invite users of ACL2, users of
other theorem provers, and persons interested in the applications of
theorem proving technology to attend. Invited keynote talks will be given
by Shuvendu Lahiri (Microsoft Research) and Sol Swords (Arm Inc.). The
workshop will include a reception on November 16 and a banquet on November
17. Please see the workshop website for additional program details and
other updates as they become available.
REGISTRATION
Registration for the workshop is now available at this link:
https://acl2.regfox.com/acl2-workshop-2026
Registration fees are set as follows, with early registration ending
September 30:
- Students (early): $200
- Students (regular): $250
- Professionals (early): $350
- Professionals (regular): $400.
- Registration is free (but still required) for virtual participation.
If you would like to attend but the registration fee presents a hardship,
please contact the organizing chairs Sol Swords <sswords@gmail.com> and Eric
Smith <eric.smith@kestrel.edu> for further options.
AIMS AND SCOPE (quoting from
https://www.cs.utexas.edu/users/moore/acl2/workshop-2026/index.html#scope):
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.
The workshop will take place in person at the Innovation Center at SRI
International headquarters. 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.
FOR MORE INFORMATION:
See the website
https://www.cs.utexas.edu/users/moore/acl2/workshop-2026/index.html
for further information including accepted papers (once they are
available), organization, venue, and lodging.
Last updated: Sep 17 2026 at 22:43 UTC