7 results · clear filters Sort: newest oldest name

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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&discipline=Q21198&series=s10d7e1