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.

4 results · clear filters Sort: newest oldest name

  1. Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021.
    2021
    Computer and information sciences
    e10r8bf
  2. International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)
    series, 3 events, 2017 to 2021
    Computer and information sciences
    s121acr
  3. Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019.
    2019 · Natal, Brazil
    Computer and information sciences
    e120y4p
  4. ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017
    2017 · Gothenburg, Sweden
    Computer and information sciences
    e10tfqb

As JSON: https://labs.confref.org/api/search?field=1&series=s121acr