The accepted papers for the 11th International Conference on Formal Structures for Computation and Deduction (FSCD'26) have been announced!

Previous Post