3 - 9 September 2017, Second International Conference on Formal Structures for Computation and Deduction (FSCD'17), Oxford, England
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques 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.
Submissions can be made in two categories. Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 10 pages and must describe a working system which has not been published or submitted elsewhere. Full versions of several accepted papers, to be selected by the program committee, will be invited for submission to a special issue of Logical Methods in Computer Science.