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.

11 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. International Workshop on Logic, Language, Information, and Computation (WoLLIC)
    series, 32 events, 1994 to 2026
    Computer and information sciences
    s10assy
  4. Advances in Modal Logic (AiML)
    series, 16 events, 1996 to 2026
    Computer and information sciencesPhilosophy, ethics and religion
    s10b1nw
  5. International Conference on Inductive Logic Programming (ILP)
    series, 5 events, 2009 to 2020
    Computer and information sciencesPhilosophy, ethics and religion
    s126j1w
  6. IEEE Symposium on Logic in Computer Science (LICS)
    series, 35 events, 1988 to 2020
    Philosophy, ethics and religion
    s126mpf
  7. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
    series, 5 events, 2016 to 2020
    Philosophy, ethics and religion
    s126mqd
  8. International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
    series, 1 events, 2020 to 2020
    Philosophy, ethics and religion
    s126tvz
  9. International Symposium on Temporal Representation and Reasoning (TIME)
    series, 3 events, 2018 to 2020
    Philosophy, ethics and religion
    s126v0n
  10. The Korean Society for Logic Conference
    series, 0 events
    s10kp01
  11. 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&discipline=Q8078