Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
The 10th edition of the International Conference on Formal Structures for Computation and Deduction (FSCD 2025) took place in Birmingham, United Kingdom, from 15–18 July 2025, with workshops on 14 and 19–20 July. The event was held at the Edgbaston Park Hotel and Conference Centre near the University of Birmingham, in cooperation with ACM SIGLOG. The FSCD conference series is built upon its predecessors, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), which joined forces to unite communities interested in all aspects of formal structures for computation and deduction, from theoretical foundations to applications.
Authors
- Emma Ahrens (ORCID: https://orcid.org/0000-0002-6394-3351)
- Jan-Christoph Kassing (ORCID: https://orcid.org/0009-0001-9972-2470)
Institutions
- RWTH Aachen University (DE)
Publication Details
- Journal
- ACM SIGLOG News
- Published
- 2025-10-01
- DOI
- https://doi.org/10.1145/3774409.3774413
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00