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.

5 results · clear filters Sort: newest oldest name

  1. International Conference on Formal Structures for Computation and Deduction (FSCD) (FSCD)
    series, 11 events, 2016 to 2026
    Computer and information sciences
    s10md6w
  2. 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, June 24-30, 2019
    2019 · Dortmund, Germany
    Computer and information sciences
    e11qj1t
  3. 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, Oxford, UK, July 9-12, 2018
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e11qj0w
  4. 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, Oxford, UK, September 3-9, 2017
    2017 · Oxford, United Kingdom
    Computer and information sciences
    e11qhzy
  5. 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, Porto, Portugal, June 22-26, 2016
    2016 · Porto, Portugal
    Computer and information sciences
    e11qhy0

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