The 10^th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Birmingham, UK, Tuesday 15 - Friday 18 July, 2025, with workshops on Monday 14 and Saturday 19 - Sunday 20.

FSCD covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas.

More details about FSCD 2025 will appear here over time.