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.

8 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. 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
  3. 14th International Workshop on Computer Science Logic (CSL 2000, CSL)
    2000-08-21/26 · Fischbachau, Germany
    Computer and information sciencesPhilosophy, ethics and religion
    e101ze1
  4. 9th International Workshop on Computer Science Logic (CSL 1995, CSL)
    1995-09-22/29 · Paderborn, Germany
    Computer and information sciences
    e101z9b
  5. 4th Workshop on Computer Science Logic (CSL 1990, CSL)
    1990-10-01/05 · Heidelberg, Germany
    Computer and information sciences
    e101z4n
  6. 3rd Workshop on Computer Science Logic (CSL 1989, CSL)
    1989-10-02/06 · Kaiserslautern, Germany
    Computer and information sciences
    e101z3q
  7. 2nd Workshop on Computer Science Logic (CSL 1988, CSL)
    1988-10-03/07 · Duisburg, Germany
    Computer and information sciences
    e101z2s
  8. 1st Workshop on Computer Science Logic (CSL 1987, CSL)
    1987-10-12/16 · Karlsruhe, Germany
    Computer and information sciences
    e101z1v

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