13th International Workshop on the ACL2 Theorem Prover and Its Applications

The 2015 ACL2 Workshop will be held in Austin, Texas, USA, in conjunction with (and immediately following) FMCAD 2015. We invite users of ACL2, users of other theorem provers, and persons interested in the applications of theorem proving technology to attend. Keynote talks will be given by J Strother Moore and John O'Leary.