Email Gateway (Sep 17 2023 at 11:09): Email Gateway (Sep 17 2023 at 11:09):From: Matt Kaufmann <kaufmann@cs.utexas.edu>
* CALL FOR PARTICIPATION *
ACL2-2023
18th International Workshop on the ACL2 Theorem Prover and Its
Applications
November 13-14, 2023, Austin, Texas, USA and also online
http://www.cs.utexas.edu/users/moore/acl2/workshop-2023/index.html
The 2023 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. Keynote talks will be given by:
Jim Grundy, Amazon Web Services
Eric Smith, Kestrel Institute
REGISTRATION
Registration details, including fees (expected: $0 to $140) and sign
up may be found at:
https://acl2.regfox.com/acl2-workshop-2023
Note that the discounted fees for early registration end after
October 31.
AIMS AND SCOPE (quoting from
https://www.cs.utexas.edu/users/moore/acl2/workshop-2023/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 in ACL2 and the other
theorem provers in the Boyer-Moore family.
ACL2-2023 is planned to be a two-day workshop to be held in Austin,
Texas, USA, on November 13-14, 2023. The workshop is planned to be
held 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 18th in the series of ACL2 workshops, which occur approximately
every 18 months. The workshop 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-2023/index.html
for further information including accepted papers, organization,
venue, and lodging.
Last updated: Apr 29 2024 at 04:18 UTC