The Coq mailing list

["Klaus Schneider" <klaus.schneider AT informatik.uni-kl.de>]

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

            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.