10th International Conference on Formal Structures for Computation and Deduction (FSCD) (2025)
Website: https://fscd2025.github.io/
Dates: 14 Jul - 20 Jul
City: Birmingham, UK
Host institution: University of Birmingham