1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
<HTML>
<HEAD><TITLE>ACL2 Workshops, UT ACL2 Seminar, and Upcoming Conferences</TITLE></HEAD>
<BODY TEXT="#000000">
<BODY BGCOLOR="#FFFFFF">
<H1>The ACL2 Workshop Series</H1>
We hold regular workshops.
<UL>
<LI><A HREF="http://www.cc.gatech.edu/~manolios/acl206/">ACL2 Workshop 2006</A>: August 15-16, 2006, Seattle, Washington, USA.
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2004">ACL2 Workshop 2004</A>: November 18-19, 2004, Austin, Texas, USA.
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2003">ACL2 Workshop 2003</A>: July 13-14, 2003, Boulder, Colorado, USA.
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2002">ACL2 Workshop 2002</A>: April 8-9, 2002, Grenoble, France.
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2000">ACL2 Workshop 2000</A>: October 30-31, 2000, Austin, Texas, USA.
<LI><A HREF="http://www.cs.utexas.edu/users/pete/acl2-workshop-1999">ACL2 Workshop 1999</A>:
March 29-31, 1999, Austin, Texas, USA.</UL>
<p>
Jared Davis has graciously supplied <a
href="http://www.cs.utexas.edu/users/jared/acl2/workshops-bibtex/">a listing of
bibtex entries</a>.
<p>
ACL2 input files (certifiable books) from the preceding workshops are available
from the links above. <b>WARNING</b>: 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.1) of ACL2,
<a
href="http://www.cs.utexas.edu/users/moore/acl2/v3-1/distrib/acl2-sources/books/workshops.tar.gz">
download a gzipped tar file</a> to the <CODE>acl2-sources/books/</CODE>
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.1 by standing in the
<CODE>acl2-sources/</CODE> directory and issuing the command
<CODE>make regression</CODE>.
<H1>ACL2 Seminar at UT</H1>
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 <a href="http://www.cs.utexas.edu/users/moore/acl2/seminar/index.html">UT ACL2 seminar
page</a>.
<H1>Upcoming Conferences of Possible Interest to the ACL2 Community</H1>
See <code><a
href="http://www.cs.utexas.edu/users/moore/acl2/conferences.html">http://www.cs.utexas.edu/users/moore/acl2/conferences.html</a></code>.
<BR><HR><BR><BR><BR><BR><BR><BR>
</BODY>
</HTML>
|
