Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
June 29 – July 5, 2020, Paris, France.
Scope & Topics
FSCD (http://fscdconference.org/ ) 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, models of computation, semantics and verification in new challenging areas.
Topics of interest include, but are not limited to, the following
Paper Submission
Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g. proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Complete instructions on submitting a paper can be found on the conference web site.
Important Dates
Submission Deadline | : | February 9, 2020 |
Authors Notification | : | April 13, 2020 |
Registration & Camera-Ready Paper Due | : | April 27, 2020 |
User Name : Hendry
Posted 05-11-2019 on 00:19:53 AEDT