FDL 2020

Forum on specification & Design Languages




@Kiel, Germany
September 15–17, 2020



@Kiel, Germany





Call for Papers

You can view or download the call for papers here (PDF)


We welcome authors to submit manuscripts on topics including, but not limited to:





    Important Deadlines
    - Special Session: April 6, 2020
    - Abstract Deadline: June 1, 2020
    - Paper Deadline: June 5, 2020
    - PhD/WiP Deadline: June 12, 2020
    - Author Notification: July 10, 2020
    - Final Version: July 31, 2020






    Authors' Guidelines



    Submissions
    Authors should submit papers in double column, IEEE format as PDF through the submission system. A full research paper has a maximum of 8 pages, short papers may have up to 4 pages, and WiP/PhD Forum/Poster to 2 pages. Submitted papers must be anonymous (double blind), must describe original unpublished work, and must not be under consideration for publication elsewhere. Furthermore, we solicit submissions for a PhD/Work in Progress Forum.


    Publications (of accepted papers)
    Conference proceedings will be published in electronic form with an ISSN and an ISBN number and made available on IEEE Xplore. In addition, Extended versions of selected papers will be published as a journal special issue (TBC). Accepted papers must be presented by one of the authors. A full registration for each paper is required prior to the camera ready papers deadline.

    Camera Ready for Conference Proceedings

    The deadline for the submission of the final version of the paper is July 24, 2022.
    Final version manuscripts must satisfy the following requirements:

    Document Formatting

    The paper should adopt the two-column IEEE format with A4 size. Templates are provided for Microsoft Word and LaTeX.
    For more information, see: link
    Each paper should contain an abstract of 100 to 150 words, and up to 5 keywords, which you may select from the IEEE keyword list.
    Do not put page numbers on your document, and make sure that all fonts are embedded.

    Camera Ready for IEEE Xplore

    The deadline for the submission of the final version of the paper is July 24, 2022.
    Final version manuscripts must satisfy the following requirements:

    Copyright Information

    Please note that the camera-ready version of your paper must include also the correct copyright information, that must be added before PDF eXpress validation. The appropriate copyright clearance code notice is to appear on the bottom of the first page of each paper according to the guidelines set forth in the Cataloging/Copyright Instructions for an IEEE Conference Proceeding. Detailed instructions can be found at: link
    For papers in which all authors:


    Validation with PDF Express

    The paper must be validated with PDF eXpress , by entering 56239X CODE for the Conference ID. New users can create a new PDF eXpress account by selecting the New Users - Click Here link. Previous users of PDF eXpress or IEEE PDF eXpress Plus should enter the same password that was used for previous conferences. In case of issues with PDF eXpress, please contact the Publications Support Center for IEEE PDF eXpress. The approved PDF must then be uploaded to easychair.

    Electronic Copyright Form Submission

    IEEE policy requires that prior to publication all authors or their employers must transfer to the IEEE in writing any copyright they hold for their individual papers. ONE OF THE AUTHORS MUST NEED TO COMPLETE eCopyright. The corresponding authors of accepted papers will receive an email from IEEE with link and login credentials to login to eCF and submit copyright forms for their papers. For any questions, please, contact the Publication Chair, Dr. Daniel Große, Johannes Kepler University Linz.

    Easy Chair Submission Site





    FDL 2020 is in Kiel, Germany