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
- 11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026Computer and information sciencese113z88
- International Conference on Formal Structures for Computation and Deduction (FSCD) (FSCD)Computer and information sciencess10md6w
- 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025Computer and information sciencese113z7a
- 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024Computer and information sciencese113z6c
- 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023Computer and information sciencese113z5e
- 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, August 2-5, 2022Computer and information sciencese113z4g
- 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, Buenos Aires, Argentina (Virtual Conference), July 17-24, 2021Computer and information sciencese113z3j
- 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Paris, France (Virtual Conference), June 29 - July 6, 2020Computer and information sciencese113z2m
As JSON: https://labs.confref.org/api/search?series=s10md6w&from=2020&to=2029