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.

12 results · clear filters Sort: newest oldest name

  1. 11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e113z88
  2. International Conference on Formal Structures for Computation and Deduction (FSCD) (FSCD)
    series, 11 events, 2016 to 2026
    Computer and information sciences
    s10md6w
  3. 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025
    2025 · Birmingham, United Kingdom
    Computer and information sciences
    e113z7a
  4. 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024
    2024 · Tallinn, Estonia
    Computer and information sciences
    e113z6c
  5. 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023
    2023 · Rome, Italy
    Computer and information sciences
    e113z5e
  6. 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, August 2-5, 2022
    2022 · Haifa, Israel
    Computer and information sciences
    e113z4g
  7. 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, Buenos Aires, Argentina (Virtual Conference), July 17-24, 2021
    2021 · Buenos Aires, Argentina
    Computer and information sciences
    e113z3j
  8. 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Paris, France (Virtual Conference), June 29 - July 6, 2020
    2020 · Paris, France
    Computer and information sciences
    e113z2m
  9. 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
  10. 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
  11. 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
  12. 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