9 - 12 July 2018, Third International Conference on Formal Structures for Computation and Deduction (FSCD'18), 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. FSCD'18 is part of The Federated Logic Conference, FLoC 2018.
Submissions can be made in two categories: Regular research papers (presenting original research which is unpublished and not submitted elsewhere) and system descriptions (presenting new software tools in which FSCD topics play an important role, or significantly new versions of such tools). Suggested, but not exclusive, list of topics for submission are: Calculi, Methods in Computation and Deduction, Semantics, Algorithmic Analysis and Transformations of Formal Systems, and Tools and Applications.
The program committee will consider declaring an award to a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting.