FDL24: Forum on Specification and Design Languages Stockholm, Sweden, September 4-6, 2024 |
Conference website | https://fdl-conference.com |
Submission link | https://easychair.org/conferences/?conf=fdl24 |
Abstract registration deadline | April 24, 2024 |
Submission deadline | April 24, 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, Stockholm, Sweden.
Important Dates
All dates are 23:59 Anywhere on Earth (AoE):
- Special Session proposals: March 15, 2024
- Paper Deadline: Apr 24, 2024
- Author notification: June 7, 2024
- Final acceptance: July 5, 2024
- Work-in-Progress/Ph.D. Forum deadline: July 12, 2024
- Camera-ready submission: July 19, 2024
Topics of Interest
The 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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. 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.
- 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.
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{REGULAR PAPER SUBMISSION}
- \IEEEspecialpapernotice{SPECIAL SESSION SUBMISSION}
- \IEEEspecialpapernotice{WILD-AND-CRAZY-IDEA SUBMISSION}
- \IEEEspecialpapernotice{TOOL PAPER SUBMISSION}
- \IEEEspecialpapernotice{WORK-IN-PROGRESS SUBMISSION}
- \IEEEspecialpapernotice{PHD FORUM SUBMISSION}
Please submit your paper via EasyChair using the following link: https://easychair.org/conferences/?conf=fdl24
Shepherding Process
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 finally 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 only meant to improve the papers accordingly.
Publication
All accepted papers in the following categories will be published with IEEE:
- Research Papers
- Special Session Papers
- Wild-and-Crazy-Idea Papers
- Tool Papers
Extended abstracts about work-in-progress and for the Ph.D. forum are not published with IEEE and are instead only presented orally at the conference.
Submissions must be clearly tagged to determine the submission category by using the \IEEEspecialpapernotice keyword:
Further Information
For further information, see the conference website https://fdl-conference.com or contact Klaus Schneider <klaus.schneider@rptu.de>.