[et_pb_section fb_built=”1″ _builder_version=”3.17.2″ use_background_color_gradient=”on” background_color_gradient_end=”#ffffff”][et_pb_row _builder_version=”3.17.2″ custom_padding=”31px|0px|32px|0px|false|false”][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n
C A L L\u00a0 \u00a0F O R\u00a0 \u00a0P A P E R S<\/span><\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.17.2″][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n DOWNLOAD PDF HERE<\/a><\/span><\/strong><\/span><\/p>\n <\/span><\/strong><\/span><\/p>\n SUBMISSION GUIDELINES <\/strong><\/span><\/p>\n Submissions can be made in two categories. Regular research papers are limited to 15\u00a0pages (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.<\/p>\n Submissions must be formatted using the\u00a0\u00a0<\/a><\/span>LIPIcs style files<\/a> <\/span>and submitted via EasyChair<\/a><\/span><\/span><\/p>\n IMPORTANT DATES<\/strong><\/span><\/p>\n All deadlines are midnight anywhere-on-earth\u00a0 late submissions will not be considered.<\/p>\n Titles and Short Abstracts:<\/strong> 8 February 2019<\/p>\n Full Papers:<\/strong> 11 February 2019<\/p>\n Rebuttal period:<\/strong> 28 March – 1 April 2019<\/p>\n Authors Notification:<\/strong> 8 April 2019<\/p>\n Final version for proceedings:<\/strong> 22 April 2019<\/p>\n BEST PAPER AWARD BY JUNIOR RESEARCHERS<\/strong><\/span><\/p>\n The program committee will consider declaring this award\u00a0to 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\u00a0<\/span>years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is\u00a0<\/span>made by the junior researcher(s).<\/span><\/p>\n SPECIAL ISSUE<\/strong><\/span><\/p>\n Authors of selected papers will be invited to submit an extended version for a special issue of Logical\u00a0Methods in Computer Science.<\/span><\/p>\n PUBLICATION<\/span><\/strong><\/span><\/p>\n The proceedings will be published as an electronic volume in the\u00a0Leibniz International Proceedings in Informatics (LIPIcs)\u00a0<\/a>of Schloss Dagstuhl. All LIPIcs proceedings are open access.<\/span><\/p>\n <\/span><\/p>\n