FSCD 2025 10th International Conference on Formal Structures for Computation and Deduction will take place in Birmingham (United Kingdom), July, 2025.
FSCD 2024 9th International Conference on Formal Structures for Computation and Deduction will take place in Tallinn (Estonia), July, 2024.