Conference series Beta

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

ACL2

Events: 11 (2006 to 2025)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s10d7e1

Events (11)

20062025

Year	No.	Event	Place	Date
2025	19	Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025.	Austin
2023	18	Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023.
2022	26	Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022.	Austin
2020		Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020.
2018	15	Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. ACL2	Austin	2018-11-05/06
2017	14	Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. ACL2	Austin	2017-05-22/23
2015		Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. ACL2	Austin	2015-10-01/02
2014	13	Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. ACL2	Vienna	2014-01-01
2013		Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. ACL2	Laramie	2013-05-30/31
2011	10	Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. ACL2	Austin	2011-11-03/04
2006		Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006 ACL2	Seattle	2006-08-15/16

The events on the map · in the search · calendar of coming events

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/series/acl2`
Wikidata	`http://www.wikidata.org/entity/Q105700348`
dblp	`https://dblp.org/streams/conf/acl2`

Cite

International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2). confref identifier s10d7e1. https://id.confref.org/series/s10d7e1

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.