default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

19th ACL2 2025: Austin, TX, USA

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-18567
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-18567
Ruben Gamboa, Panagiotis Manolios:
Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025. EPTCS 423, 2025 [contents]

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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08373
Alessandro Coglio, Sol Swords:
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023. EPTCS 393, 2023 [contents]

17th ACL2 2022: Austin, TX, USA

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11103
Rob Sumners, Cuong Chau:
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022. EPTCS 359, 2022 [contents]

16th ACL2 2020

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-12521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-12521
Grant O. Passmore, Ruben Gamboa:
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020. EPTCS 327, 2020 [contents]

15th ACL2 2018: Austin, TX, USA

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-03762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-03762
Shilpi Goel, Matt Kaufmann:
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. EPTCS 280, 2018 [contents]

14th ACL2 2017: Austin, TX, USA

- view
- export record
  dblp key:
  - journals/corr/SlobodovaJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SlobodovaJ17
Anna Slobodová, Warren A. Hunt Jr.:
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. EPTCS 249, 2017 [contents]

13th ACL2 2015: Austin, TX, USA

- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaufmannR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaufmannR15
Matt Kaufmann, David L. Rager:
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. EPTCS 192, 2015 [contents]

12th ACL2 2014: Vienna, Austria

- view
  authority control:
- export record
  dblp key:
  - journals/corr/VerbeekS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VerbeekS14
Freek Verbeek, Julien Schmaltz:
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. EPTCS 152, 2014 [contents]

11th ACL2 2013: Laramie, WY, USA

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1304-7123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-7123
Ruben Gamboa, Jared Davis:
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. EPTCS 114, 2013 [contents]

10th ACL2 2011: Austin, TX, USA

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4473
David S. Hardin, Julien Schmaltz:
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. EPTCS 70, 2011 [contents]

6th ACL2 2006: Seattle, WA, USA

- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/acl2/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl2/2006
Panagiotis Manolios, Matthew Wilding:
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. ACM 2006, ISBN 0-9788493-0-2 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.