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.

9 results · clear filters Sort: newest oldest name

  1. Annual Conference on Computer Science Logic (CSL)
    series, 39 events, 1987 to 2026
    Computer and information sciencesPhilosophy, ethics and religion
    s109f9b
  2. International Conference on Implementation and Application of Automata (CIAA)
    series, 31 events, 1996 to 2026
    Computer and information sciencesPhilosophy, ethics and religion
    s10as65
  3. Advances in Modal Logic (AiML)
    series, 16 events, 1996 to 2026
    Computer and information sciencesPhilosophy, ethics and religion
    s10b1nw
  4. International Conference on Inductive Logic Programming (ILP)
    series, 5 events, 2009 to 2020
    Computer and information sciencesPhilosophy, ethics and religion
    s126j1w
  5. IEEE Symposium on Logic in Computer Science (LICS)
    series, 35 events, 1988 to 2020
    Philosophy, ethics and religion
    s126mpf
  6. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
    series, 5 events, 2016 to 2020
    Philosophy, ethics and religion
    s126mqd
  7. International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
    series, 1 events, 2020 to 2020
    Philosophy, ethics and religion
    s126tvz
  8. International Symposium on Temporal Representation and Reasoning (TIME)
    series, 3 events, 2018 to 2020
    Philosophy, ethics and religion
    s126v0n
  9. International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense)
    series, 0 events
    Philosophy, ethics and religion
    s125941

As JSON: https://labs.confref.org/api/search?kind=series&field=6&discipline=Q8078