FSCD 20249th International Conference on Formal Structures for Computation and Deduction in Tallinn (Estonia), July 10-13, 2024.
FSCD 20238th International Conference on Formal Structures for Computation and Deduction in Rome (Italy), July 3-6, 2023.
FSCD 20227th International Conference on Formal Structures for Computation and Deduction in Haifa (Israel), August 2-5, 2022 (as part of FLoC 2022).
FSCD 20216th International Conference on Formal Structures for Computation and Deduction online (all over the world), originally planned for Buenos Aires (Argentina), July 17-24, 2021.
FSCD 20205th International Conference on Formal Structures for Computation and Deduction, online (all over the world), originally planned for Paris (France), June 29 - July 5, 2020.
FSCD 20194th International Conference on Formal Structures for Computation and Deduction, in Dortmund (Germany), June 24–30, 2019.
FSCD 20183rd International Conference on Formal Structures for Computation and Deduction, in Oxford (UK), July 9–12, 2018 (as part of FLoC 2018).
FSCD 20172nd International Conference on Formal Structures for Computation and Deduction in Oxford (UK), September 3–6, 2017 (co-located with ICFP 2017).
FSCD 20161st International Conference on Formal Structures for Computation and Deduction in Porto (Portugal), June 22-26, 2016.
Up until 2015, the subject matter of FSCD was covered by:
RTA: International Conference on Rewriting Techniques and Applications.
TLCA: International Conference on Typed Lambda Calculi and Applications