The Coq mailing list

[Johannes Koch <johannes.koch AT rptu.de>]

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

             FDL - Forum on specification & Design Languages

                      September 10-12, 2025
                 Schloß Rheinfels, St. Goar, Germany

                        https://fdl-conference.com

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

                           CALL FOR PAPERS

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


VENUE

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


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

   - Special Session proposals:    April 18, 2025
   - Paper Submission Deadline:    May 2, 2025
   - Author Notification:          June 20, 2025
   - Ph.D. Forum deadline:         July 19, 2025
   - Camera-ready submission:      July 19, 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,
     modelling, 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.