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.

6 results · clear filters Sort: newest oldest name

  1. International Conference on Automated Deduction (CADE)
    series, 25 events, 1980 to 2021
    MathematicsComputer and information sciences
    s124vhp
  2. The 27th International Conference on Automated Deduction (CADE 2019)
    2019-08-25/30 · Natal, Brazil
    Mathematics
    e125jac
  3. 26th International Conference on Automated Deduction (CADE 2017)
    2017-08-08/11 · Gothenburg, Sweden
    Mathematics
    e12frh3
  4. e12frg5 (CADE 2015)
    2015-01-08 · Berlin, Germany
    Mathematics
    e12frg5
  5. e12frf8 (CADE 2013)
    2013-09-06 · Lake Placid, United States
    Mathematics
    e12frf8
  6. e12frea (CADE 2011)
    2011-07-31 · Wrocław, Poland
    Mathematics
    e12frea

As JSON: https://labs.confref.org/api/search?series=s124vhp&from=2010&to=2019