International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2)

Venue statistics

records by year

document access 

    frequent authors

      18th ACL2 2023: Austin, TX, USA / online

      17th ACL2 2022: Austin, TX, USA

      16th ACL2 2020

      15th ACL2 2018: Austin, TX, USA

      14th ACL2 2017: Austin, TX, USA

      13th ACL2 2015: Austin, TX, USA

      12th ACL2 2014: Vienna, Austria

      11th ACL2 2013: Laramie, WY, USA

      10th ACL2 2011: Austin, TX, USA

      6th ACL2 2006: Seattle, WA, USA

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics