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 organising institution is TU Dortmund which was founded 50 years ago and has 16 faculties ranging from science and engineering to social sciences and cultural studies. The University has near to 34,600 students and 6,200 members of staff, including 300 professors. All scientific disciplines share a common university spirit in which interdisciplinary, communication and cooperation are not only taught, but are actively lived by. This interactive culture creates a supportive environment that sparks technological innovation and drives advances in methods and knowledge.