11 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. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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?kind=event&series=s10d7e1