[Hol-info] ACL2 Workshop 2022 Final Call For Participation

[Rob S. <rob...@gm...>]

*** 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.