The FSCD conference aims to cover all aspects of formal structures for computation and deduction, from theoretical foundations to tools and applications. It results from the union of the former RTA and TLCA conferences.