workshops.html

<HTML>
<HEAD><TITLE>ACL2 Workshops and UT ACL2 Seminar</TITLE></HEAD>

<BODY TEXT="#000000" BGCOLOR="#FFFFFF" STYLE="font-family:'Verdana'">

<H1>The <A HREF="http://www.cs.utexas.edu/users/moore/acl2/index.html">ACL2</A> Workshop Series</H1>

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 <A HREF="http://www.cs.utexas.edu/users/hunt/FMCAD/">FMCAD</A>
(Formal Methods in Computer Aided Design).
<p>
<UL>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2025/index.html">ACL2
    Workshop 2025</A>: May 12-13, 2025, Austin, Texas, USA and also online.</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2023/index.html">ACL2
    Workshop 2023</A>: November 13-14, 2023, Austin, Texas, USA and also online.</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2022/index.html">ACL2 Workshop 2022</A>: May 26-27, 2022, Austin, Texas, USA and also online.</LI>
<LI><A HREF="http://www.acl2-2020.info">ACL2 Workshop 2020</A>: May
  28-29, 2020 (held online via video streaming).</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2018/index.html">ACL2
    Workshop 2018</A>: November 5-6, 2018, Austin, Texas, USA.</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2017/index.html">ACL2 Workshop 2017</A>: May 22 - 23, 2017, Austin, Texas, USA.</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2015/index.html">ACL2
    Workshop 2015</A>: October 1-2, 2015, Austin, Texas, USA.
    (Co-located with <A HREF="http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/index.shtml">FMCAD 2015</a>.)</LI>
<LI><A NAME="2014"></A><A HREF="http://vsl2014.at/acl2/">ACL2 Workshop 2014</A>: July 12-13, 2014, Vienna, Austria,
as an ITP-affiliated workshop of FLoC (part of the
<a href="http://vsl2014.at/">Vienna Summer of Logic</a>).
  <ul>
  <li><a href="http://cs.ru.nl/~freekver/acl2_14_program.html">Slides</a></li>
  <li><a href="http://arxiv.org/html/1406.1238v1">Proceedings</a></li>
  </ul>
</LI>
<LI><A HREF="http://www.cs.uwyo.edu/~ruben/acl2-13">ACL2 Workshop 2013</A>: May 30-31, 2013, University of Wyoming,
  Laramie, Wyoming, USA.
  <ul>
  <li><a href="http://eptcs.web.cse.unsw.edu.au/content.cgi?ACL22013">Proceedings</a></li>
  </ul>
</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/acl2-11/Home.html">ACL2
    Workshop 2011</A>: November 3-4, 2011, Austin, Texas, USA.
(Co-located with <a
href="http://www.cs.utexas.edu/users/ragerdl/fmcad11/">FMCAD 2011</a>.)
  <ul>
  <li><a href="http://eptcs.web.cse.unsw.edu.au/content.cgi?ACL22011">Proceedings</a></li>
  </ul>
</LI>
<LI><A HREF="http://www.cs.utexas.edu/users/kaufmann/itp-2010/">ITP 2010: Int'l Conference on
Interactive Theorem Proving (ITP) 2010</A>: July 11-14, 2010, Edinburgh,
Scotland; part of <A href="http://floc-conference.org">FLoC 2010</A>.<br>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2009/">ACL2 Workshop 2009</A>: May 11-12, 2009, Boston, Massachusetts, USA.
(<a href=" http://portal.acm.org/citation.cfm?id=1637837&coll=GUIDE&dl=GUIDE&CFID=101915764&CFTOKEN=26521015">Proceedings available
from ACM Digital Library.</a>)</LI>
<LI><A HREF="http://www.cs.uwyo.edu/~ruben/acl2-07">ACL2 Workshop 2007</A>: November 15-16, 2007, Austin, Texas, USA.</LI>
<LI><A HREF="http://www.ccs.neu.edu/home/pete/acl206/">ACL2 Workshop
2006</A>: August 15-16, 2006, Seattle, Washington, USA. (<a href="http://portal.acm.org/toc.cfm?id=1217975&coll=portal&dl=ACM&type=proceeding&idx=SERIES10714&part=Proceedings&WantType=Proceedings&title=ACM%20International%20Conference%20Proceeding%20Series">Proceedings available
from ACM Digital Library.</a>)</LI>
<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>
<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>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-2002">ACL2 Workshop 2002</A>: April 8-9, 2002, Grenoble, France. </LI>
<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>
<LI><A HREF="http://www.cs.utexas.edu/users/moore/acl2/workshop-1999">ACL2 Workshop 1999</A>:
March 29-31, 1999, Austin, Texas, USA.</LI>
</UL>

<p>

Here is a list of past ACL2 Workshop slogans.

<ul>
<li><i>1999</i>: It ain't over til the last Q.E.D.</li>
<li><i>2000</i>: Just prove it.</li>
<li><i>2002</i>: Accumulated Persistence</li>
<li><i>2003</i>: No software too trivial. No error too obscure.</li>
<li><i>2004</i>: Defun starts here</li>
<li><i>2006</i>: ACM Software Systems Award Winner!</li>
<li><i>2007</i>: Save the world. Use make-event.</li>
<li><i>2009</i>: <i>None</i></li>
<li><i>2011</i>: We aim to prove</li>
<li><i>2013</i>: Pain is temporary; theorems are forever.</li>
<li><i>2014</i>: I love the smell of parentheses in the morning.</li>
<li><i>2015</i>: 25 years of rewriting history</li>
<li><i>2017</i>: In Proof We Trust</li>
<li><i>2018</i>: Sometimes you feel like alist, sometimes you don't</li>
<li><i>2020</i>: <code>(defaxiom acl2-2020 "Damn nil. Full speed ahead!" (not (lexorder 'acl2 'covid-19)))</code></li>
<li><i>2022</i>: supporting (in-theory ...) local events</li>
<li><i>2023</i>: Certifiable</li>
</ul>

<p>

Jared Davis and Keshav Kini have graciously supplied <a
href="https://github.com/acl2/acl2/tree/master/books/workshops/references">a listing of
bibtex entries for the ACL2 workshops</a> through 2017 (would be nice
if extended past 2017; any volunteers?).

<p>

ACL2 input files (certifiable books) from the preceding workshops are
available in the <a href="https://github.com/acl2/acl2/">ACL2+Books GitHub
repository</a>, specifically, in
its <a href="https://github.com/acl2/acl2/tree/master/books/workshops/">subdirectory
for workshop contributions</a>.

<H1>ACL2 Seminar at UT</H1>

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 <a href="http://www.cs.utexas.edu/users/moore/acl2/seminar/index.html">UT ACL2 seminar
page</a>.

<H1>ACL2 Course Materials</H1>

<p>See
this <a href="https://www.cs.utexas.edu/users/moore/acl2/manuals/latest/?topic=ACL2____COURSE-MATERIALS">course-materials</a>
documentation topic.</p>

<BR><HR><BR><BR><BR><BR><BR><BR>

</BODY>
</HTML>