Registration is open for ACL2-2023. *** SECOND 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 ($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. _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info