10th International Workshop on the ACL2 Theorem Prover and its Applications

ACL2  2011

Austin, Texas, USA

3-4 November 2011


ACL2 2011 is the tenth in the series of workshops on the ACL2 Theorem Prover and Its Applications. The ACL2 workshops occur at approximately 18-month intervals and provide a major technical forum for researchers to present and discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in formal verification.


ACL2, co-authored by Matt Kaufmann and J Strother Moore, is a state-of-the-art automated reasoning system that has been successfully used in academia, government, and industry for specification and verification of computing systems. ACL2 is the most recent incarnation of the Boyer-Moore family of theorem provers, for which Robert Boyer, Matt Kaufmann and J Moore received the 2005 ACM Software System Award. More information about ACL2, including downloads, documentation, relevant books and papers, and previous workshops can be found in the ACL2 Home Page.

ACL2 2011 will be held in Austin, Texas, USA on the 3rd and 4th of November, 2011. The workshop is co-located with FMCAD 2011.

The proceedings are published as a volume of Electronic Proceedings in Theoretical Computer Science. They are available on-line (link).

John Hatcliff and Konrad Slind will give invited talks at ACL2 2011 !

The technical program is now on-line. Check the top of this page !

*** extended to July 4th ***

*** extended to June 27th ***