\n

FSCD cove rs all aspects of formal structures for computatio n and deduction from theoretical foundations to ap plications. Building on two communities, RTA (Rewr iting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces t heir core topics and broadens their scope to close ly related areas in logics, proof theory and new e merging models of computation such as quantum comp uting or homotopy type theory. FSCD'18 is part of The Federated Logic Conference, FLoC 2018.

\n\n

URL:http://fscd-conference.org/editions/fscd-2018
END:VEVENT
END:VCALENDAR
Submissions can be made in two cat egories: Regular research papers (presenting origi nal research which is unpublished and not submitte d elsewhere) and system descriptions (presenting n ew software tools in which FSCD topics play an imp ortant role, or significantly new versions of such tools). Suggested, but not exclusive, list of top ics for submission are: Calculi, Methods in Comput ation and Deduction, Semantics, Algorithmic Analys is and Transformations of Formal Systems, and Tool s and Applications.

\n\nThe program commit tee 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 me eting.

\n