12 results · clear filters Sort: newest oldest name

1. Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025.
   2025 · Austin, United States
   Computer and information sciences
   e1211jm
2. International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2) (ACL2)
   series, 11 events, 2006 to 2025
   Computer and information sciences
   s10d7e1
3. Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023.
   2023
   Computer and information sciences
   e1210jn
4. Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022.
   2022 · Austin, United States
   Computer and information sciences
   e120zkp
5. Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020.
   2020
   Computer and information sciences
   e120ykq
6. Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. (ACL2)
   2018-11-05/06 · Austin, United States
   Computer and information sciences
   e120x7h
7. Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. (ACL2)
   2017-05-22/23 · Austin, United States
   Computer and information sciences
   e120wd6
8. Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. (ACL2)
   2015-10-01/02 · Austin, United States
   Computer and information sciences
   e120v3v
9. Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. (ACL2)
   2014-01-01 · Vienna, Austria
   Computer and information sciences
   e120t10
10. Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. (ACL2)
    2013-05-30/31 · Laramie, United States
    Computer and information sciences
    e120s8k
11. Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. (ACL2)
    2011-11-03/04 · Austin, United States
    Computer and information sciences
    e1212kh
12. Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006 (ACL2)
    2006-08-15/16 · Seattle, United States
    Computer and information sciences
    e10p6ck

As JSON: https://labs.confref.org/api/search?field=1&series=s10d7e1