Submit to FDL (loading)

Deadlines are reported based on 23:59 Anywhere on Earth.

The 29th 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:

• Languages: Domain-specific languages for software, execution platforms, allocations, environment, contracts, abstractions, and refinements are of interest, together with the associated design methods, frameworks, and tools.
• Semantics: formal definitions, compilers, interpreters, typing, abstraction/refinement, are of interest, together with the underlying specification frameworks or new approaches for their specification, modeling, and model transformation.
• Verification and Analysis: innovative static analysis, testing, debugging, model checking, machine learning-based analysis, or design space exploration are of interest, together with the underlying models, tools and frameworks.
• Simulation: innovative simulation techniques, virtual prototypes, digital twins, collaborative simulation, hybrid simulations, or runtime abstraction/refinement are of interest, with special attention on the efficiency and correctness of simulations and their underlying tools and frameworks.

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:

• languages and formalisms in model-based system design for modeling, testing, verification, and simulation;
• languages for knowledge representation about system designs;
• models of computations considering concurrency and time like dataflow computing, synchronous and functional languages, event-based languages, etc;
• modeling languages and tools for modelling (cyber-)physical environments or networks;
• formal methods and languages for modeling, specification, and verification;
• system design for modern hardware architectures like multi/manycore processors, and heterogeneous platforms, accelerators including GPUs and FPGAs;
• high-level hardware and software synthesis, virtual prototyping, and design space exploration;
• modeling and programming languages for smart contracts and distributed ledger technologies;
• case studies from typical application areas like healthcare, automotive, Industry 4.0, etc.

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:

• Research Papers: original papers with clear research contributions and evaluation ((loading)).
• Special Session Papers: call for organizing special sessions on a specific topic (2-page session proposals). Papers within the special session follow the same peer reviewing and publishing process as for research papers ((loading)).
• Wild-and-Crazy-Idea Papers: papers with well-explained fundamentally new ideas without rigorous evaluation ((loading)).
• Tool Papers: papers about new tools, their methods and successful case studies ((loading)). In contrast to research papers, tool papers may not describe new research ideas, and rather present on a solid implementation of existing methods that are made publically available to the community.
• Work-in-progress Extended Abstracts: submission of (loading) describing ongoing work where final results are not yet available but where potential solutions are already mature enough to be discussed at the conference.

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:

• Ph.D. Forum Extended Abstracts: submission of (loading) about planned and ongoing work on Ph.D. thesis that can be discussed 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

In addition to paper submissions, FDL welcomes proposals for panels, tutorials, and special sessions that broaden the discussion and bring emerging topics to the community.

• Panels: propose a timely debate with a clear theme, suggested moderator, and panelists representing diverse viewpoints from academia and industry.
• Tutorials: propose a focused, hands-on session (half-day or full-day) that introduces tools, methods, or emerging research directions. Include target audience and expected prerequisites.
• Special Sessions: propose a curated set of talks around a coherent topic, including a draft list of contributors and a brief plan for paper solicitation and review.

Proposals should include a short abstract, relevance to FDL, organizer contact information, and an outline of the session structure.

For accepted special sessions, contributors may choose to submit no paper, a single paper summarizing the contributions of the whole session, or one paper per contribution. If papers are submitted, they follow the standard review process. Accepted papers will be published in the IEEE proceedings; otherwise they will be distributed only in the informal digest of the conference.

• Submission Deadline:
• Submission link: Easy Chair Submission Site
• Notification of Acceptance:

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

Final version manuscripts must satisfy the following requirements:

• papers must be written in English using the available LaTeX or Microsoft Word templates for A4 format. Formatting may not be altered;
• for full research papers, (loading);
• for special session papers, (loading);
• for wild-and-crazy-idea papers, (loading);
• for tool papers, (loading);
• for Ph.D. Forum extended abstract, (loading);
• for wild-and-crazy-idea papers, special session papers, tool papers, and work-in-progress extended abstracts, an italic 11pt paper type must be included right below the paper title: Wild-and-Crazy-Idea Paper, Special Session Paper, Tool Paper or Work-in-Progress Extended Abstract. If you are using Latex, you can simply use the Latex syntax like this:
• 1. \IEEEspecialpapernotice{Wild-and-Crazy-Idea Paper}
  2. \IEEEspecialpapernotice{Special Session Paper}
  3. \IEEEspecialpapernotice{Tool Paper}
  4. \IEEEspecialpapernotice{Work-in-Progress Extended Abstract}
• confirmed IEEE Xplore compatibility by using IEEE PDF eXpress;
• included Copyright Information;
• final paper submitted via the "proceedings author (IEEE Proceedings)" menu on EasyChair (Easy Chair Submission Site).

Document Formatting

• The paper should adopt the two-column IEEE format. 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.

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:

• For papers in which all authors are employed by the US government, the copyright notice is:
  (loading)
• For papers in which all authors are employed by a Crown government (UK, Canada, and Australia), the copyright notice is:
  (loading)
• For papers in which all authors are employed by the European Union, the copyright notice is:
  (loading)
• For all other papers the copyright notice is:
  (loading)

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

          \IEEEoverridecommandlockouts
          \IEEEpubid{\makebox[\columnwidth]{
          TBA
          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.

The Ph.D. Forum at FDL 2026 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.

• Submission deadline:
• Submission link: Easy Chair Submission Site
• Notification of Acceptance:

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 .