[DL] Extended Deadlines: Forum on specification and Design Languages (FDL)

[Klaus Schneider]

############################################################################

             FDL - Forum on specification & Design Languages

                        September 10-12, 2025
                 Schloss Rheinfels, St. Goar, Germany

                       https://fdl-conference.com

############################################################################

                       CALL FOR PAPERS (Extended Deadlines)

############################################################################


VENUE

   The 28th Forum on specification and Design Languages (FDL) will take
   place September 10-12, 2025 at Schloss Rheinfels, St. Goar, Germany.


IMPORTANT DATES (all deadlines 23:59 Anywhere on Earth)

   - Paper Submission Deadline:    May 21, 2025
   - Author Notification:          July 8, 2025
   - Ph.D. Forum deadline:         July 19, 2025
   - Camera-ready submission:      July 30, 2025
   - Conference:                   September 10-12, 2025
   - Ph.D. Forum:                  September 9, 2025


ABOUT FDL

   The 28th Forum on specification and Design Languages (FDL) is an
   international event where academics and industry researchers exchange
   results, experiences, advances, and new trends related to languages,
   tools, and techniques for developing software and hardware systems
   and combinations thereof.

   Targeted systems encompass cyber-physical systems, distributed systems,
   real-time systems, embedded systems, mechatronics, IoT, and reactive
   systems. FDL is covers the following four non-limiting scientific areas:

   - Languages: Domain-Specific Languages for software, execution platforms,
     allocations, environment, contracts, abstractions, and refinements are
     topics of interest, together with their associated design methods,
     frameworks, and tools, including support for collaborative modelling 
and
     model management;
   - Semantics: formal specifications, compilers, interpreters, typing,
     abstraction/refinement, are topics of interest, together with the
     underlying specification frameworks or new approaches for their
     specification, modeling, and model transformation;
   - Verification and Analysis: innovative static analyses, testing,
     debugging, model checking, machine learning-based analysis, or design
     space exploration with 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 modelling,
     testing, verification, and simulation;
   - methods, techniques, architectures and tools to construct, operate and
     maintain Digital Twins in their broadest form;
   - languages for knowledge representation about system designs;
   - models of computations considering concurrency and time such as 
dataflow
     computing, synchronous and functional languages, event-based languages;
   - modelling languages and tools for modelling (cyber-)physical 
environments
     or networks;
   - formal methods and languages for modelling, specification, and
     verification;
   - system design for modern hardware architectures such as multi/manycore
     processors, and heterogeneous platforms, accelerators, including GPUs
     and FPGAs;
   - high-level hardware and software synthesis, virtual prototyping, and
     design space exploration;
   - modelling and programming languages for smart contracts and distributed
     ledger technologies;
   - case studies from typical application areas such as healthcare,
     automotive, Industry 4.0, etc.


PAPER CATEGORIES

   FDL stimulates scientific and controversial discussions within and 
between
   scientific topics at different maturity levels. The following categories
   of papers are welcome and will be published with IEEE Xplore after an 
oral
   presentation at the conference:

   - 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 review 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).
   - Work-in-progress Abstracts: submission of extended abstracts (2 pages
     including references) describing ongoing work where final results are
     not yet available but where potential solutions will be discussed at
     the conference.
   - Tool Papers: papers about new tools, their methods and successful case
     studies (6 pages plus references). In contrast to research papers,
     tool papers do not have to describe new research ideas, but rather
     present a solid implementation of existing methods that are made 
     available to the community.

Ph.D. Forum

   In addition to the above categories of papers, there will be a Ph.D. 
forum
   where Ph.D. students can present and discuss their work with experts in 
the
   area on September 9, 2025 right before the conference. Extended abstracts
   submitted to the Ph.D. forum should be no longer than 2 pages. The 
extended
   abstracts will *not* be published with IEEE, but will be made available 
to
   the attendees of the conference. There will also be a poster session at 
the
   conference for discussing the accepted abstracts with FDL attendees.


SUBMISSION

   Authors should submit papers in double column, 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 shouldbe double-blind (to avoid initial
   bias), but author names may become available to reviewers during 
discussion
   and before the final decision. Submission of papers is handled by 
EasyChair
   under the following link:

       https://easychair.org/my/conference?conf=fdl2025

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