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

Search Beta

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

6 results · clear filters Sort: newest oldest name

  1. Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2024 · Milan, Italy
    Computer and information sciences
    e11wwsn
  2. International Conference of Tests and Proofs (TAP)
    series, 20 events, 2007 to 2024
    Computer and information sciences
    s10anyr
  3. Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
    2023 · Leicester, United Kingdom
    Computer and information sciences
    e11wwrq
  4. International Conference of Tests and Proofs (TAP 2022)
    2022-07-05 · Nantes, France
    Computer and information sciences
    e11wwqs
  5. International Conference of Tests and Proofs (TAP 2021)
    2021-06-21/22 · online
    Computer and information sciences
    e11wwpv
  6. International Conference of Tests and Proofs (TAP 2020)
    2020-06-22/23 · Bergen, Norway · online
    Computer and information sciences
    e11wwnx

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