Email Gateway (Apr 15 2025 at 10:37): Email Gateway (Apr 15 2025 at 10:37):From: Matt Kaufmann <kaufmann@cs.utexas.edu>
* SECOND CALL FOR PARTICIPATION *
Apologies for multiple postings
ACL2-2025
19th International Workshop on the ACL2 Theorem Prover and Its
Applications
May 12-13, 2025, Austin, Texas, USA and also online
http://www.cs.utexas.edu/users/moore/acl2/workshop-2025/index.html
The 2025 ACL2 Workshop will be held in Austin, Texas, USA and online.
We invite users of ACL2, users of other theorem provers, and persons
interested in the applications of theorem proving technology to
attend. There will be two invited keynote talks: "Scaling Formal
Verification with Machine Learning" by Swarat Chaudhuri (University of
Texas at Austin), and "The Future of ACL2 Community" by Warren
A. Hunt, Jr. (UT Austin) and Anna Slobodova (Arm Ltd). See the above
website for accepted papers as well as updates, which will include a
program with details on a pre-workshop reception on May 11 and a
banquet on May 12.
REGISTRATION
Registration details (including free online-only registration) may be
found at:
https://acl2.regfox.com/acl2-workshop-2025
AIMS AND SCOPE (quoting from
https://www.cs.utexas.edu/users/moore/acl2/workshop-2025/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.
ACL2-2025 will be held in Austin, Texas, USA and also online, May
12-13, 2025. The workshop will take place in person on the University
of Texas at Austin campus. In addition to in-person participation,
the workshop will support online participation for all talks and
presentations. The workshop will be the 19th 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-2025/index.html
for further information including accepted papers, organization,
venue, and lodging.
Last updated: May 06 2025 at 08:28 UTC