The ACL2 Workshop Series

We hold regular workshops. In 2010, the ACL2 Workshop did a one-time merger with TPHOLs to form the first International Conference on Interactive Theorem Proving (ITP). Such a merger may occur again, but whether or not that happens, the ACL2 community is encouraged to participate in ITP. Other conferences of particular interest to the ACL2 community include CAV (Computer Aided Verification) and FMCAD (Formal Methods in Computer Aided Design).

Here is a list of past ACL2 Workshop slogans.

Jared Davis and Keshav Kini have graciously supplied a listing of bibtex entries for the ACL2 workshops through 2017 (would be nice if extended past 2017; any volunteers?).

ACL2 input files (certifiable books) from the preceding workshops are available in the ACL2+Books GitHub repository, specifically, in its subdirectory for workshop contributions.

ACL2 Seminar at UT

An ACL2 seminar has met regularly at the University of Texas. A list of past talks, generally accompanied by abstracts and sometimes slides, may be found on the UT ACL2 seminar page.

ACL2 Course Materials

See this course-materials documentation topic.