Email Gateway (Mar 18 2025 at 20:14): Email Gateway (Mar 18 2025 at 20:14):From: Matt Kaufmann <kaufmann@cs.utexas.edu>
* 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. An invited keynote talk will be given by Swarat Chaudhuri
(University of Texas at Austin), "Scaling Formal Verification with
Machine Learning"; a second invited keynote talk is anticipated. 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 may be found at:
https://acl2.regfox.com/acl2-workshop-2025
Note that discounted fees for early registration end after March 31.
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: Apr 17 2025 at 20:22 UTC