Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
Authors: E. Ahrens, J.-C. Kassing
Abstract: A report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), held in Birmingham, UK, from 14 to 20 July 2025 in cooperation with ACM SIGLOG.