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. 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

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