Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

5 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

As JSON: https://labs.confref.org/api/search?series=s10d7e1&from=2020&to=2029