{LIPIcs}, Volume 299, {FSCD} 2024, Complete Volume

This volume contains the proceedings of the 9th International Conference on Formal Structures
for Computation and Deduction (FSCD 2024), which was held July 10-13, 2024 in Tallinn,
Estonia. FSCD 2024 was co-located with the 51st EATCS International Colloquium on
Automata, Languages, and Programming (ICALP), which was held July 8-12, 2024 in Tallinn,
Estonia, and with the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS), which was held July 8-11, 2024 in Tallinn, Estonia.
The conference FSCD (https://fscd-conference.org/) 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 include closely related areas in logic and proof theory, new emerging models of
computation, as well as semantics and verification in new and challenging areas.