17th International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2022)

Spring, 2022, Austin, Texas, USA

The 2022 ACL2 Workshop will be held in Austin, Texas, USA, in Spring 2022. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend. This webpage is an early placeholder for the workshop and it will be updated as details are finalized.



Abstracts submission:   TBD
Paper submission:       TBD
Author Notification:    TBD
Camera-ready (author)   TBD
Workshop:               Spring, 2022


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 planned to be a two-day workshop to be held in Austin, Texas, USA, on Spring, 2022 (targeting April 2022). The exact location of the workshop is TBD but the intention is to have the workshop on the University of Texas campus. In addition to in-person participation, the workshop will support online participation for all talks and presentations. The workshop will be the 17th 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.

Keynote talks are expected but undetermined at this time.

We will invite submissions of papers on any topic related to ACL2 and its applications, and we strongly encourage submissions related to other theorem provers or formal methods that are of interest to the ACL2 community. Suggested topics include but are not limited to new results in the following areas.


Program Chairs

Feel free to email the program chairs if you have questions.

Many details of the workshop are obviously forthcoming and this webpage will be updated as they develop.