FSCD 2017 Call for Papers [pdf]

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.

Important dates

All deadlines are midnight anywhere-on-earth (AoE).
Titles and Short Abstracts Due 7 April 2017
Full Papers Due 14 April 2017
Rebuttal 29 – 31 May 2017
Author Notification 14 June 2017
Camera Ready 7 July 2017
Conference 4–7 September 2017


Suggested, but not exclusive, list of topics for submission are:
  1. Calculi
  2. Methods in Computation and Deduction
  3. Semantics
  4. Algorithmic Analysis and Transformations of Formal Systems
  5. Tools and Applications

Submission instructions

Submissions can be made in two categories: regular research papers and system descriptions. Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission.

Submissions must be formatted using the LIPIcs style files for authors that can be found here.

A condition of submission is that, if accepted, one of the authors must register and attend the conference to give the presentation.

Papers must be submitted via easychair. The submission site is here.

Best paper award by junior researchers

The program committee will consider declaring this award to a paper in which all authors are junior researchers: a junior researcher is a person who is either a student or whose PhD award date is less than three years from the first day of the meeting. If a paper is eligible for consideration as the best paper by junior researchers, please signal that fact by having for one of the authors send mail to the PC Chair at fscd17@easychair.org.

The Proceedings

The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs). All LIPIcs proceedings are open access.

Authors of an accepted paper will be given instructions on how to upload their final paper (LaTeX source files and final pdf file) along with the meta-data associated with the paper and a signed author agreement form confirming that Leibniz-Zentrum füur Informatik (the publisher for LIPIcs) is authorized to publish the paper.

After the conference, authors of selected papers will be invited to submit extended versions of their work to a special issue published in the open-access journal Logical Methods in Computer Science (LMCS).

FSCD Conference Chair: Sam Staton. Workshop Chair: Jamie Vicary. first.last@cs.ox.ac.uk.