posted by organizer: hokeun || 246 views || tracked by 1 users: [display]

FDL 2024 : Forum on specification and Design Languages


Conference Series : Forum on specification and Design Languages
When Sep 4, 2024 - Sep 6, 2024
Where Stockholm, Sweden
Submission Deadline Apr 24, 2024
Notification Due Jun 7, 2024
Final Version Due Jul 19, 2024
Categories    language   simulation   semantics   verification

Call For Papers

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

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