The ACL2 Workshop Series
We hold regular workshops.
- ACL2 Workshop 2009: May 11-12, 2009, Boston, Massachusetts, USA.
- ACL2 Workshop 2007: November 15-16, 2007, Austin, Texas, USA.
- ACL2 Workshop
2006: August 15-16, 2006, Seattle, Washington, USA. (Proceedings available
from ACM Digital Library.)
- ACL2 Workshop 2004: November 18-19, 2004, Austin, Texas, USA.
- ACL2 Workshop 2003: July 13-14, 2003, Boulder, Colorado, USA.
- ACL2 Workshop 2002: April 8-9, 2002, Grenoble, France.
- ACL2 Workshop 2000: October 30-31, 2000, Austin, Texas, USA.
- ACL2 Workshop 1999:
March 29-31, 1999, Austin, Texas, USA.
Jared Davis has graciously supplied a listing of
bibtex entries.
ACL2 input files (certifiable books) from the preceding workshops are available
from the links above. WARNING: The above links point to the original
versions of those books. In order to obtain up-to-date versions of those books
that will certify in the latest version (3.4) of ACL2,
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 in Version 3.4 by standing in the
acl2-sources/
directory and issuing the command
make regression
.
ACL2 Seminar at UT
An ACL2 seminar meets 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.