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. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
    2022-02-14/19 · Göttingen, Germany · online
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1mq
  2. 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018)
    2018-09-04/06 · Frankfurt, Germany
    Philosophy, ethics and religion
    e124zxt
  3. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015, CSL)
    2015-09-07/10 · Berlin, Germany
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1e4
  4. 14th International Workshop on Computer Science Logic (CSL 2000, CSL)
    2000-08-21/26 · Fischbachau, Germany
    Computer and information sciencesPhilosophy, ethics and religion
    e101ze1

As JSON: https://labs.confref.org/api/search?field=6.3&discipline=Q8078&country=DE