FSCD 2023 8th International Conference on Formal Structures for Computation and Deduction will take place in Rome (Italy), July, 2023.
FSCD 2022 7th International Conference on Formal Structures for Computation and Deduction will take place in Haifa (Israel), August 2-5, 2022 (as part of FLoC 2022).