C A L L   F O R   P A P E R S

DOWNLOAD PDF HERE

SUBMISSION GUIDELINES

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.

Submissions must be formatted using the  LIPIcs style files and submitted via EasyChair

IMPORTANT DATES

All deadlines are midnight anywhere-on-earth  late submissions will not be considered.

Titles and Short Abstracts: 8 February 2019

Full Papers: 11 February 2019

Rebuttal period: 28 March – 1 April 2019

Authors Notification: 8 April 2019

Final version for proceedings: 22 April 2019

BEST PAPER AWARD BY JUNIOR RESEARCHERS

The program committee will consider declaring this 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. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s).

SPECIAL ISSUE

Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science.

PUBLICATION

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

DOWNLOAD PDF HERE

fscd-conference.org