These are the Proceedings of the Sixth International Workshop on the ACL2
Theorem Prover and its Applications. 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,
Lulu Staff has been notified of a possible violation of the terms of our Membership Agreement. Our agents will determine if the content reported is inappropriate or not based on the guidelines provided and will then take action where needed.
Thank you for notifying us. We will email you with the results and/or actions taken as a result of the investigation if you chose to receive confirmation.