coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Extended Deadlines: Forum on specification and Design Languages (FDL)
Chronological Thread
- From: "Klaus Schneider" <klaus.schneider AT informatik.uni-kl.de>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Extended Deadlines: Forum on specification and Design Languages (FDL)
- Date: Fri, 02 May 2025 11:31:47 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=klaus.schneider AT informatik.uni-kl.de; spf=Pass smtp.mailfrom=klaus.schneider AT informatik.uni-kl.de; spf=None smtp.helo=postmaster AT mailgw1.uni-kl.de
- Ironport-data: A9a23:BdceJq4kEB8YmfUoA/ZUzwxRtIbDchMFZxGqfqrLsTDasY5as4F+v jEXCmqBM/bZNmv8fIxwYIri9EsP75OHnYBqTwQ4qChjZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtbwr414rZ8Eky5Kmq4mtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6/FMMmMQB9QmwbZYHWdQ6 qQENgINTCnW0opawJrjIgVtrsEqLc3kI9pZp3dhiDLdS/orKXzBa/yRvJkCgGl235oWW6yEP 6L1ahI3BPjESx5LM0oMTok1nOGlh3XyaRVZrlySv68+/2nQihF30f3uNJzZd7RmQO0MxxvG9 jueojiR7hcyMeegkASZ1FGQveb1vSKrQ9sXRbqh+as/6LGU7jdOVExICgbTTeOCokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYZUttUHPJjrhyLy+/X50CVCwDoUwKtdvQilvEUYwZz6 GTZsM/vGyM3rKOnSVCko+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZo0yeEJSpoGvcQwc0 wy3QD4Ca6I7oeNj6klW1VXOgjajucGPUwg0owbTGG6ohu+YWGJHT9PzgbQ4xa8eRGp8crVnl CNU8yR5xLxWZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGgheBkwaJpfKWawP R+7VeZtCHl7YCPCgUhfP9jZNijW5fiI+SnNCK6EN4QmjmZZKFLdlM2RWaJg9zuwzBlyzvxX1 Waza8ahDHAeAKJriSK4TuoZw74wzSAzjX/eTpD9zg+s0bfWeXiUV7ofK1qSZ+0lpKCNoR7Y6 c1bPtaWxg9ZFen3ZCXe7OYuwaMicBAG6WTNg5UPLIare1M+cEl4Uq+56e16IeRNwf8K/tokC 1nhASe0PnKj3iWfcW1nqxlLNNvSYHqIhS5hZHZyZg74gyFLjETGxP53SqbbtIIPrIRLpcOYh dFcEylZKqUeFmb06H4GYIPjrYdvUh2uiEjcd2CmeTUzNdooDQDA5tauLEOl+TgsHxiHk5I0g 4Sh8QfHHrsFZQBpV/jNZNyVkliegHk6mcBJZXXuHOV9QkvX3bJRG3TDtcNve8AoAjff9wSez DeTUEs5p/GSgoob8+vppKGjrqWxGe5MAEFfRmnXwrKsES/k42OYmJVKe7uLTwv8T0Lxwr2pP s9O/sH/MdoGvVdEiJV9GLBV1pAD58PjirtZ7wZ8FlDJXkubMaxhKXy4wsV/jK1B6btHsw+QW EjU2N1lFZiWGcHiSng9GREEa7md6PQqhTXi1/Q5D0Hk7itR/rDcc0FzPQGJuRNNPolOL4Ip7 ucwivE4szXlpEIRDe+HqSRI+0CnDH8KCfwnv65HJr7bsFMgz1UabKHMDiPz3oq0VOxNFUsXO R6RurvJguVN50jFckdrL0P348hmuc0stixJnXg4HHbYvvreh/Qy4g9dziRvcCRR0Sd88rxSP kpFChRLAJugrhZSudh7fmGzGgt+KgWT1W7vxnAoymDIbUmaeVbcDW86OOyy0lgT3G4HWwMGp budy3rsCyn3Tu7M3w8Ze01sm9r8R/NfqyzAn8GGGZyePp8YODDKvI6nVVAqmTDGX/wjoVLhj vZ72uRaZYnQFz8ik4diB6a0jb0vGQ25fkpcSvRfzYY1NGD7egDq/wORKkq0K/h/F9aT/WCWU 8VRd99yDTKg3yOzrxceN64GA5lwuNULvNMiWLfaFVQqgouljAhCkczvr3DlpWoRXd9Rv943K drRexK8A2WgvyZotFGXnvZUGFiTQIciXxL97tCX4e9SNpMkscNQS28Q/IawnU2oNFpAw0rJk iLFP7Tb3s5z+7RKxoHMKJhONy+wCNH0VdmLzjyNjsRzXYvxFvnK5iwoqQjBHgVJPLEudcx9u paTvfXWgk7UnrYEfFrIupuGFqB2uMC4B8hLA/LNNHBLwHKIXczw6kEc5lKXFJ1tu/Fe7/mBW AGXRpaRd9kUetEF31xTSXFUPCg8ApTNTJXLhH2CvdXWLzZFyi3BDtes1UGxXFFhbiVSZqHPU F7licih9vVzjdpqBiZdI9pEHpUhAlvoeZV+Ru3LrTPCU1WZ2AKTiIDDyyglxyrAUESfMcDA5 pnAeBjyWTKytIzMz/Bbq4ZChQIWPlksndgPel8hxPAuhwCYFGImKcEvAacCALxQkQ3w08jcT xPJZ20AFy78fGpldTPR3dfdZTqcV9c+YorBGj8U/k2qMnb8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEDCJ Gw6WjkCXUe6DE31V8ptE5KQ9Nf1oxu3pwjErw/WqDoch2lf5OxGxvrlPujv075FccILYb0KA 3/6L4dIy37DwWQd4MPFpPpw6ZKZypu38gySLantQhcXlr2x6SI6OcJHni5JQMxKFMuz1b/Cv mHE3kXSz3hp5KycNHN6BOnJF19MvqowMgz0
- Ironport-hdrordr: A9a23:T+MaBqmvYLzniEstKoB3FqrfJoHpDfIX3DAbv31ZSRFFG/Fw8P re+cjztCWE6gr5N0tBpTntAse9qBDnmqKdg7NhXotKNTOO0ADDEGgI1+ffKlPbehEWjtQx6U 6MSdkZNPTASWJihcK/2gO/CNpI+qjhzEm3v5a780tQ
- Ironport-phdr: A9a23:Pw5+0BNGkKOQ9Unat2Ql6nYaBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCB9qBs6IMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiSxbaluI BmqogndqMsbjZV+Jqsy1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrRS8rBJ93oHUepmYOv1jcKzSfd0UW2RPUMVNWCJOGY68c 4gCAvAdMetCs4XwpV0Dpga+Cwm2A+PvzydFinHz060+yeshDBrG1xE9Ed0SsHTUqsv6NKYPX u+r1qnEwyjIYvRV2Tf58ofIbwshreuXXb1sccrRz1cgFwLYgVqOs4zoJDKV1uIDs2ic9epgU Pigi3ImqwFyuDSv28EsiojQioIWzlDI7zh2z5gsKNC+VUV0bsKqHoFKuCGGK4t5XNkiQ2dwt Ss5y7ALtpC1cTQIxZk5xRPRZfOKfoyJ7x/9WuicIil0inJ4db+xmhu/7FWsxOPhW8S1zVpHo C5In93MuH0N1RHe7NWMRPV6/kekwzmP1gbT5/lKIU8pkarXMoIuwrk2lpodr0vDBDH5mEPqg 6CIbEkr5u+o6+H/brXnuJCTKZF7hhv5MqQ0lcyzGfo3PRIVX2mb5eu81Kfs/UzjQLlQif02i KbZvZbHLsoYvq60GxJZ34g+5xqlETur39UVkWMaIF5bZB6LlZblN0/SLPzgDvqygE6gnCl2y /3JJLHtH5XAImLenLv9YLpw7VNXxRQ3zdBC/JJUFq8OIOjuVE/wtd3XEAc0PxCyzu36Ettyz JkeVniKAqKBMKPdr1uI5uU3LumJfoAVuTL9K/cr5vLzl3M5hFkdfaiw0ZsUbHC0BOlpLFuBb XrthNcOD3sKsxIjQOHklVGOSyBfanmzUq4m+z03Fp6qAZ3dSoyznLCNxCK7EYdXZmBCBFCMC 3Dod4CcVvcPbCKdONJhkiceWbi6V4Ah1ReuuxH7y7V6MOXU4DYVtZPl1Nh74O3TjxQy+iZoD 8Sc0GGBVXx0nmUJRzMv36B/pVZxxUqd3qRghfxXDsRc5+lVXQciKZ7c0+t6BsjvVg7ZZNeGV E6mQsm6ATE2Vt8+39gOY19kF9q+ihDDwjGlDqQOl72LAZw06rjT02LwJ8Z70XbG1bMug0MoQ stVZiWagft08BGWDIrUmW2YkbyrfOISxn3j7mCGmCCtuEhFS0ZLWqXDUHETa1Gc5YD64krfV Pm1ArQhPwpNxNSqK61EbcfshElHR7H+PtWbYGb3l2rmVkXA/a+FcIe/IzZV5y7aEkVRy2j7n F6DPAk6XWK6pn7GSSdpDRTpal/t9u93rDW6SFU1xkeEdR4pzKK7rzgSg/HUUPYPxvQcoi50q DF9AU37xNnWDdeBqwd7VKRab9Qn5V5b1GGfqgp8e5+kaaxv1RYFawoih0r1zF1sD5lY180jr Xck1g13fKGc2U5aMSiT3Zb9O7HaMEHz+h6ocavfxlDdlsuQ++IM7LI0pgarpxmnQ2wl9Xgvy NxJyz2c65HNWRIVSo70W10r+gJSorjbZiYivsXJ03wpMq3yvjKqN8sBIuwjx17get5eNPjBD wruC4gBANDoLuU2ml+vZxZCPeZI9adyMdn0P/2BkLWmOupthlfExSxO/Zx930SQ9iF9Vv+A3 pALxOud1xeGUDG0hUmos8T+k4RJLT8IGW/3xS/hDY9XLqp8GORDQWSqKtCsgM51h5jgWnJV7 naiAV0BwsqgZRuRKUH73EhT0QIbrD3vmCe1ySB1jyB8trCWj0msi6zpcBsKPHIORXE31Ay1Z 9Lo0ZZDBhDuNVJxx37HrQ7gyqNWpbpyNTzWSEZMJG3tKn16F7C3rvyEatJO75UhtWNWVv69a BaUUO2YwVNS3iX9Em9Z3D1+eSutv8CznBhzlXnbN31zqnfYdcxq7RbZ6tvGQPdN3zlAWS95z DrTQFSxdYrMn53ch9LYv+ayWnj0HJ5XeDTwi5iLtC225GFnGzW+mf60gNjuDQk5lzL91pxpU WPEoVyvB+ujn7T/OuVhcE5yAVb64McvAYBynLw7g5QI0GQbjJGYlZYeuV/6Ks4Tmaf3bX5WA CUO38aQ+w/9nktqMnOOwYv9EHSb2MpoIdegMCsa3Sc07sYCD6nxjvQMni98v0H+tgnRZ/V8k joH4foo5nkAhugVuQlr0yOcR7MWW0VVdSDhjBWH6dmiob4yBi7nKOPpkhAiw5b4VunE+FsEE H/iMo8vBypx8tlyPBrX3Xv/55ulMNjcYNQPtwGFxhLJjuxbMpU0xZ9ozWJsPWPwu2FgyvZu1 Ec3m8vm4s7ecT0rpvjhUXs6fnXvasge+y/gl/Nbl8eShMW0G4l5Xy4MRN3uRO6pFzQbsbLmM RyPGXsysCT+e/KXEAmB5UNht3+KHYqsMiTdJ30Q0M4kXxKdIkFejA0OdDQ8kJkjEwm2xc+nb UF4ozMVoFL14EgpqKogJ1zkX2HTqR39IDQwQYWEagFd7gdP5kvYK+Sf6Ox0BSRR4pyi6hGLK ymYY0JEACtaPy7MT0CmNb6o697a9uGeDefrNPrCb4KFrulGXuuJz5aigcN2uiyBPcKVMjx+H uU2jwBdCGthFZ2TyFBtA2QH0jjAZMmBqFKg9z1r+4qhpe/zVlun5JPRWeEKaYw9pUvm0/3bZ 7zJ3n4re3EGivZujTfJ0ORNhQVLzXsyKX/0S+xG7H+XC/iO0q5PU0xCMHI1bZcOtvphmFUTc c/D1oGsje8+16JzUg8YEwW4xKTLLYQLOz3vbQiWQh/Xcu3eeHuSnpu/YLvgG+QL3aMN61vp4 WvdShK+dnGKkz2jP/y2GcdLiizTfBlXuYXmNw1oFXCmV9X+LBuyLN5wizQyh7wynHLDc2AGY 3B6dAtWo7uc4Dk94L03EnFd7ndjMeiPmjqIp+jeJJEMtPJ3AyNy3+tE6XU+wrFR4WlKXvtw0 CfVq9dvpRmhnIztgnJ/VwFSrz9QmI+RlUBrOKHW6cAGRHDFuREJq2mdSlwLq9ZjFtzzqvVQx 9zIx8eRYH9J99PZ+9dZBtCBcZnediB9b1ywQmaSVlFdHlvJfSnFikdQke+f7CiQp5k+8d33n YYWD6RcTBozH+8bDUJsGJoDJo12V3Uqi+3+7oZA6HygoR3WXMgfsIrAU6fYAvHmNS3flrJEY RYJzb7iBYUVOIrh3kV+a1o8gYLLXknUG9xA6H4EDEd8sABW/X5yQ3dmkVricR+o6WQPGOScm xc3jgRhOKIw8jap4FNxKleA905S2AEh3N7ihz6Wajv4Kqy9CJpXByTDvE80KprnQgxxYGVac mRlMjnDXbdYk7pjM31tiUrfvd1DFKwFJUWlSBoZxPWYeKxuzFJd7yajg0NKt7Ot4X5KlQ0kd oSppm5B2ER+at9wJqiWKKcbljBt
- Ironport-sdr: 68149107_lyNDJ16qgTukQFrbh2JckqjLvoq/sIw1Gwo4Rta0lgGcJPD mWEtGSFjFqDglX0KXy6qvjb5GK5tY8oMyS88qcA==
############################################################################
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.
- [Coq-Club] Extended Deadlines: Forum on specification and Design Languages (FDL), Klaus Schneider, 05/02/2025
Archive powered by MHonArc 2.6.19+.