The 27th Forum on specification and Design Languages (FDL) will take place from 4-6 September 2024 in Stockholm, Sweden.
Stockholm, Sweden Photo by Henrik Trygg
This 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 focuses 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.
- 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.
- 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.
FDL 2024 invites a range of submissions:
- research papers and special session papers (8 pages + references) are original papers with clear scientific research contributions and evaluations.
- wild-and-crazy-idea papers (4 pages+references) with well-explained fundamentally new ideas without rigorous evaluation.
- tool papers (4 pages+references) may not describe new research ideas, but present new tools of possibly existing methods that are made publicly available to the community.
- work-in-progress papers and extended abstracts to the Ph.D. Student Forum and Summer School (2 pages) describe planned and ongoing work mature enough to be presented at the conference.
Call for Special Sessions
Special Sessions should propose a topic which is of particular interest to the FDL audience. They consist of two to four invited talks. Speakers are requested to either submit a one-page abstract of their presentation, or to submit a short or full paper that goes through the regular review and publication process.
Potential organisers of a Special Session must submit a brief proposal (no more than two pages) which describes the topic, the intended audience, as well as a list of possible speakers to fdl24@easychair.org
All accepted papers will appear in the informal electronic proceedings, handed out at the conference. Research papers, special session papers, tool papers and wild-and-crazy-idea papers will be published in electronic form on IEEE Xplore. In the past, extended versions of selected papers were also published in a special issue of the ACM Transactions on Embedded Systems (TECS).
Submissions are welcome at: https://easychair.org/conferences/?conf=fdl24
Important Deadlines (23:59 Anywhere on Earth)
- Special Sessions: April 15, 2024
- Paper Deadline: Apr 24, 2024
- PhD/WiP Deadline: July 12, 2024
- Author Notification: June 7, 2024
- Final Version: July 19, 2024
For more information, visit the FDL 2024 conference website.
