Papers must be submitted in PDF format via Easychair. Submissions should be prepared in the ACM SIG Proceeding Templates, available from http://www.acm.org/sigs/pubs/proceed/template.html. We strongly prefer submissions in the "LaTeX2e - Strict Adherence to the SIGS Style".
We encourage you to submit an abstract before submitting a full paper. This will help the program committee begin the process of selecting papers for review, so it improves the chances that the submission will be considered by a reviewer who is particularly interested in the subject area. Note that all papers will be fully reviewed.
Papers submitted to the workshop may include supporting materials, usually in the form of ACL2 "books" that demonstrate a formal proof. Such supporting materials should follow the guidelines at http://www.cs.utexas.edu/users/moore/acl2/books/index.html. The resulting directory should be archived in either ZIP (.zip) or gzipped tar (.tgz) format, and the archive should be uploaded via Easychair.