FDL: Forum on specification and Design Languages



Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FDL 2024 Forum on specification and Design Languages
Sep 4, 2024 - Sep 6, 2024 Stockholm, Sweden Apr 24, 2024
FDL 2023 Forum on specification and Design Languages
Sep 13, 2023 - Sep 15, 2023 Torino May 1, 2023
FDL 2022 25th Forum on specification & Design Languages
Sep 14, 2022 - Sep 16, 2022 Linz (Austria) May 9, 2022 (May 2, 2022)
FDL 2021 24th IEEE Forum on specification & Design Languages
Sep 8, 2021 - Sep 10, 2021 Antibes (France) May 24, 2021 (May 17, 2021)
FDL 2018 Forum on specification and Design Languages
Sep 10, 2018 - Sep 12, 2018 Munich, Germany Apr 28, 2018 (Apr 21, 2018)
FDL 2016 Forum on specification & Design Languages
Sep 14, 2016 - Sep 16, 2016 Bremen, Germany May 3, 2016 (Apr 26, 2016)
FDL 2014 Forum on specification and Design Languages
Oct 14, 2014 - Oct 16, 2014 Munich, Germany May 5, 2014
FDL 2013 Forum on specification and Design Languages
Sep 24, 2013 - Sep 26, 2013 Paris, France May 22, 2013
FDL 2012 Forum on Specification & Design Languages
Sep 18, 2012 - Sep 20, 2012 Vienna, Austria Apr 2, 2012
FDL 2011 Forum on Specification & Design Languages
Sep 13, 2011 - Sep 15, 2011 Oldenburg, Germany May 1, 2011
FDL 2008 Forum on Specification, Verification & Design Languages
Sep 23, 2008 - Sep 25, 2008 Stuttgart, Germany Mar 31, 2008

Present CFP : 2024

===== VENUE =====

The 27th Forum on specification and Design Languages (FDL) will take place during September 4-6, 2024, at the KTH Royal Institute of Technology in Stockholm, Sweden.


Special Session proposals: April 15, 2024
Paper Submission Deadline: April 24, 2024
Author Notification: June 7, 2024
Final Acceptance Notification: July 5, 2024
Work-in-Progress Deadline: July 12, 2024
Ph.D. Forum Deadline: July 12, 2024
Camera-ready Submission: July 19, 2024
Conference: September 4-6, 2024

===== ABOUT FDL =====

The 27th 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 (8 pages plus references).
- 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 (8 pages plus references).
- Wild-and-Crazy-Idea Papers: papers with well-explained fundamentally new ideas without rigorous evaluation (4 pages plus references).
- Tool Papers: papers about new tools, their methods and successful case studies (6 pages plus references). 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.

In addition to the above categories of papers, there will be the following further categories of papers which are not published with IEEE and are instead presented orally and distributed informally at the conference:

- Work-in-progress Extended Abstracts: submission of 2-page papers (extended abstracts) describing ongoing work where final results are not yet available but where potential solutions are already mature enough to be discussed at the conference.
- Ph.D. Forum Extended Abstracts: submission of 2-page papers (extended abstracts) about planned and ongoing work on Ph.D. thesis that can be discussed at the conference.

===== SUBMISSION =====

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:

\IEEEspecialpapernotice{TOOL PAPER SUBMISSION}
\IEEEspecialpapernotice{PHD FORUM SUBMISSION}

Please submit your paper via EasyChair using the following link:



We will make use of a shepherding process if needed, where papers may first be conditionally accepted with specific guidelines on what needs be addressed to be accepted. An anonymous shepherd will be introduced for each conditionally accepted paper, who will guide and help the authors improve the paper for final acceptance. The aim is that all conditionally accepted papers should be finally accepted, so that the shepherding process is meant to improve the papers accordingly.

For more details, please see https://fdl-conference.com/

===== ORGANIZERS =====

General Chair: David Broman, KTH Royal Institute of Technology
Program Chair: Klaus Schneider, RPTU Kaiserslautern
Finance Chair: Franco Fummi, University of Verona
PhD Forum Chair: Michele Lora, University of Verona
Publicity & Publication Chair: Hokeun Kim, Arizona State University
Web Chair: Nicola Dall'Ora, University of Verona

Related Resources

HUSO 2024   6th Canadian International Conference on Humanities & Social Sciences 2024
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
IJP2P 2024   International Journal of Peer-to-Peer networks
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
ACM AIPR 2024   ACM--2024 7th International Conference on Artificial Intelligence and Pattern Recognition (AIPR 2024)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
MLNLP 2024   5th International Conference on Machine Learning Techniques and NLP
ASONAM 2024   ASONAM 2024 - Call for Research/Industrial/Tutorials/Demos/PhD-Forum/Multidisciplinary Contributions - The 16th Intl. Conf. on Advances in Social Networks Analysis and Mining