About

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (RewritingTechniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

The 8th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Rome, July 3-6, 2023, with workshops on the preceding two days.

FSCD is a series of annual conferences, started in 2016, which merged and superseded two long-running conferences:

• RTA (Rewriting Techniques and Applications), celebrated since 1985.
• TLCA (Typed Lambda Calculi and Applications), celebrated since 1993.

Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas. 

FSCD 2023 will be co-located with CADE-29.