ACL2 2006
Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Seattle, Washington, USA
August 15 - 16


ACL2 2006 is the sixth in a series of workshops that occur every 18 months. The ACL2 workshops provide the 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 industry, government, and academia.

ACL2 is an industrial-strength automated reasoning system that is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. Information about ACL2 including downloads, documentation, related papers and books, and previous workshops can be found on the ACL2 webpage.

This year's ACL2 workshop will be held in Seattle, Washington, USA on the 15th and 16th of August as part of the 2006 Federated Logic Conference (FLoC'06). The workshop is being hosted by the CAV 2006 and IJCAR 2006 conferences. The ACL2 workshop is held in-cooperation with ACM SIGPLAN and the proceedings will be published in the ACM Digital Library. For details about the workshop and related conferences, including submission and registration information, follow the links on the left of this page.