*** FINAL CALL FOR PARTICIPATION *** ACL2-2022 17th International Workshop on the ACL2 Theorem Prover and Its Applications
May 26-27, 2022, Austin, Texas, USA, and online http://www.cs.utexas.edu/users/moore/acl2/workshop-2022/index.html [[[ Apologies if you received this more than once ]]] The 2022 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: Jade Alglave, ARM and University College London Marijn Heule, Carnegie Mellon University REGISTRATION Registration details and sign up at: http://www.cs.utexas.edu/users/moore/acl2/workshop-2022/index.html#registration Registration fees are as follows: In-person: Student: 60$ Standard: 120$ Online-only: free (but registration required) Online-only + Banquet: 40$ AIMS AND 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-2022 is a two-day workshop to be held in Austin, Texas, USA, and online on May 26-27, 2022. It is the 17th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature technical papers, keynote talks, and rump sessions discussing ongoing research. See the website http://www.cs.utexas.edu/users/moore/acl2/workshop-2022/index.html for further information including registration, organization, venue, and lodging. Please see the following link https://www.cs.utexas.edu/users/moore/acl2/workshop-2022/program.html for the scheduled program of the workshop.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
