17 - 24 July 2021, Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Virtual

FSCD is a series of annual conferences started in 2016 in Porto, merging and replacing the RTA (Rewriting Techniques and Applications) andTLCA (Typed Lambda Calculi and Applications) conferences. 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 (e.g. blockchain protocols or deep learning algorithms).

FSCD 2021 will be the sixth edition of the International Conference on Formal Structures for Computation and Deduction. Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online.