This volume contains the proceedings of the 9th International Conference on Formal Structures<\/p>\n
for Computation and Deduction (FSCD 2024), which was held July 10-13, 2024 in Tallinn,<\/p>\n
Estonia. FSCD 2024 was co-located with the 51st EATCS International Colloquium on<\/p>\n
Automata, Languages, and Programming (ICALP), which was held July 8-12, 2024 in Tallinn,<\/p>\n
Estonia, and with the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science<\/p>\n
(LICS), which was held July 8-11, 2024 in Tallinn, Estonia.<\/p>\n
The conference FSCD (https:\/\/fscd-conference.org\/) covers all aspects of formal<\/p>\n
structures for computation and deduction, from theoretical foundations to applications.<\/p>\n
Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA<\/p>\n
(Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens<\/p>\n
their scope to include closely related areas in logic and proof theory, new emerging models of<\/p>\n
computation, as well as semantics and verification in new and challenging areas.<\/p>\n","protected":false},"excerpt":{"rendered":"
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 […]<\/p>\n","protected":false},"author":14,"featured_media":0,"template":"","meta":{"_acf_changed":false,"footnotes":""},"publication-type":[1404],"class_list":["post-32666","publication","type-publication","status-publish","hentry","publication-type-collection"],"acf":[],"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/publication\/32666","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/publication"}],"about":[{"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/types\/publication"}],"author":[{"embeddable":true,"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/users\/14"}],"version-history":[{"count":0,"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/publication\/32666\/revisions"}],"wp:attachment":[{"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/media?parent=32666"}],"wp:term":[{"taxonomy":"publication-type","embeddable":true,"href":"https:\/\/lamarr-institute.org\/de\/wp-json\/wp\/v2\/publication-type?post=32666"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}