############################################################################
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.
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
