Registration is now open
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.
More details about FSCD 2025 will appear here over time.
Invited Speakers
- Liron Cohen (Ben-Gurion University)
- Mariangiola Dezani (University of Torino)
- Ekaterina Komendantskaya (University of Southampton)
- Jose Meseguer (University of Illinois Urbana-Champaign)
Programme
The FSCD programme can be found here. For workshop days, the programme is under construction.
Workshops
Monday 14th July:
- 39th International Workshop on Unification (UNIF 2025)
- 12th International Workshop on Higher-Order Rewriting (HOR 2025)
- Women in Logic 2025 (WiL 2025)
- International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2025)
- Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (IFIP-WG1.6 2025)
- Day 1 of 9th International Workshop on Trends in Linear Logic and Applications (TLLA 2025)
- Day 1 of 17th Workshop on Games for Logic and Programming Languages (GALOP 2025)
- 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)
- Day 2 of 9th International Workshop on Trends in Linear Logic and Applications (TLLA 2025)
- Day 2 of 17th Workshop on Games for Logic and Programming Languages (GALOP 2025)
Student Fee Waivers
A small number of student fee waivers are available. Any interested students should contact fscd2025@gmail.com with subject 'Student Fee Waiver' to request this. The deadline is Monday 9 June (AoE).
