The ACL2 Workshop Series

We hold regular workshops.

ACL2 Workshop 1999 March 29 - March 31, 1999, Austin, TX.
ACL2 Workshop 2000 October 30-31, 2000, Austin, TX.
ACL2 Workshop 2002 April 8-9, 2002, Grenoble, France.
ACL2 Workshop 2003 July 13-14 (?), 2003, Boulder, CO.

ACL2 input files (certifiable books) from the preceding workshops are available. You can download a gzipped tar file to the acl2-sources/books/ subdirectory of your ACL2 distribution, and then gunzip and extract it. On a Unix/Linux system you can then certify all the books by standing in the acl2-sources/ directory and issuing the command make regression.

Upcoming Conferences, Workshops, and Journal Issues

You can check out this list of other relevant conferences, workshops, and journals that are not ACL2 specific, but which might be appropriate places to publish articles related to ACL2 or which might be of interest to an ACL2 user.