Forum on specification & Design Languages



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:

Authors' Guidelines

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 .
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 .
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 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. .

FDL is in ,