Please note that this newsitem has been archived, and may contain outdated information or links.
28 - 29 May 2020, 16th International Workshop on the ACL2 Theorem Prover and Its Application (ACL2 2020), Online
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.
Due to the COVID-19 pandemic, the ACL2 Workshop 2020 will take place online.
We invite ACL2 users, experts and beginners alike, users of other theorem provers, and persons interested in the applications of theorem proving technology to submit papers to the Workshop. We strongly encourage submissions from new members of the ACL2 community, including graduate students and researchers who are primarily involved with other theorem provers or formal methods. The ACL2 Workshop accepts both long papers (up to sixteen pages) and extended abstracts (up to two pages).
Please note that this newsitem has been archived, and may contain outdated information or links.