13th International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2015)

The next ACL2 Workshop will be held September 25-26, 2015, in Austin, Texas, USA. in conjunction with (and immediately before) FMCAD 2015. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend.

More details will appear on this page in due course.