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 <[email protected]> and Eric Smith <[email protected]> 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.
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
