FYI:10th International Conference on Formal Structures for Computation and Deduction

[Alex Shkotin]

https://fscd2025.github.io/

The 10th 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, in co-operation with ACM SIGLOG.

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.