Updates

Call for Papers

The 28th Forum on specification and Design Languages (FDL) is an international event where academics and industrials exchange their results, experiences, advances, and new trends related to languages, tools, and techniques for developing software and hardware systems. Targeted systems encompass cyber-physical systems, distributed systems, real-time systems, embedded systems, mechatronics, IoT, and reactive systems.

FDL is based on the four following non-limiting scientific areas:

Cross-fertilization between the above areas, in particular in the context of system engineering, is of great interest. Therefore, we welcome authors to submit manuscripts on topics including, but not limited to:

FDL stimulates scientific and controversial discussions within and between scientific topics at different maturity levels. The following categories of papers are presented orally at the conference and will be submitted for inclusion into IEEE Xplore subject to meeting IEEE Xplore's scope and quality requirements:

In addition to the above categories of papers, there will be a category of papers that are not published with IEEE but are instead presented orally and distributed informally at the conference:

Formatting and Submission Guidelines

Authors should submit papers in double columns, IEEE format as PDF through the submission system (see IEEE templates website https://www.ieee.org/conferences/publishing/templates.html for required templates). All submitted papers must describe original, unpublished work, and must not be under consideration for publication elsewhere.

Initial submissions are double-blind (to avoid initial bias), but author names become available to reviewers during discussion and before the final decision. Hence, note that you must not disclose your identity in the submitted paper. References to your own papers should still be included but referred to in the third person.

Submissions must be clearly tagged to determine the submission category by using the \IEEEspecialpapernotice keyword:

Please submit your paper via EasyChair using the following link: Easy Chair Submission Site

Camera Ready for IEEE Xplore Proceedings

The deadline for the submission of the final version of the paper is (loading).

Final version manuscripts must satisfy the following requirements:

Document Formatting

Copyright Information

Please note that the camera-ready version of your paper must also include the correct copyright information, which 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. Detailed instructions for the copyright information are below:

If you are using Latex, you can add the copyright information simply using \IEEEoverridecommandlockouts like this:

LaTeX
          \IEEEoverridecommandlockouts
          \IEEEpubid{\makebox[\columnwidth]{
          979-8-3315-9379-7/25/\$31.00~\copyright2025
          IEEE \hfill} \hspace{\columnsep}\makebox[\columnwidth]{ }}

Validation with PDF Express

The paper must be validated with IEEE PDF eXpress, by entering (loading) CODE for the Conference ID. New users can create a new PDF eXpress account by selecting Create account. 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 via the "proceedings author (IEEE Proceedings)" menu.

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 a separate email from EasyChair to submit copyright forms for their papers. If you have any questions, please contact the Publication Chair, Dr. Hokeun Kim.

Ph.D. Forum

The Ph.D. Forum at FDL 2025 will be a poster session giving Ph.D. students the opportunity to present their ongoing research to various experts from industry and academia operating in languages, tools, and techniques for hardware and software system development. During the poster session, a panel of senior faculties and researchers from the industry will provide the selected student with valuable feedback about their ongoing research. The forum can also help the students establish contacts with second reviewers or to enter the job market.

Application to the Ph.D. Forum is open to students at any stage of their doctoral studies and researchers (e.g., postdocs) who recently completed their Ph.D.

Students wishing to participate in the Ph.D. Forum must submit a two-page extended abstract describing their ongoing research. The abstract should also include the name and affiliation. The submission should be authored by the student alone. That is, supervisors of the student may give feedback, but it should be a single-author submission. A scientific committee will evaluate the abstracts. The main criteria for assessing the abstracts will be the adherence of the presented research to the conference's topics to provide presenters with high-quality feedback.

Accepted extended abstracts will not be part of the formal IEEE proceedings, but all abstracts will be distributed electronically to the conference participants during the conference. Hence, the extended abstract is not counted as a formal publication and can later be submitted to another conference or journal. The authors are expected to present a poster at the Ph.D. Forum session at FDL .

FDL (loading) is in (loading), (loading).