FDL: Forum on specification and Design Languages



Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FDL 2023 Forum on specification and Design Languages
Sep 13, 2023 - Sep 15, 2023 Torino May 1, 2023
FDL 2022 25th Forum on specification & Design Languages
Sep 14, 2022 - Sep 16, 2022 Linz (Austria) May 9, 2022 (May 2, 2022)
FDL 2021 24th IEEE Forum on specification & Design Languages
Sep 8, 2021 - Sep 10, 2021 Antibes (France) May 24, 2021 (May 17, 2021)
FDL 2018 Forum on specification and Design Languages
Sep 10, 2018 - Sep 12, 2018 Munich, Germany Apr 28, 2018 (Apr 21, 2018)
FDL 2016 Forum on specification & Design Languages
Sep 14, 2016 - Sep 16, 2016 Bremen, Germany May 3, 2016 (Apr 26, 2016)
FDL 2014 Forum on specification and Design Languages
Oct 14, 2014 - Oct 16, 2014 Munich, Germany May 5, 2014
FDL 2013 Forum on specification and Design Languages
Sep 24, 2013 - Sep 26, 2013 Paris, France May 22, 2013
FDL 2012 Forum on Specification & Design Languages
Sep 18, 2012 - Sep 20, 2012 Vienna, Austria Apr 2, 2012
FDL 2011 Forum on Specification & Design Languages
Sep 13, 2011 - Sep 15, 2011 Oldenburg, Germany May 1, 2011
FDL 2008 Forum on Specification, Verification & Design Languages
Sep 23, 2008 - Sep 25, 2008 Stuttgart, Germany Mar 31, 2008

Present CFP : 2023

The 26th Forum on specification and Design Languages (FDL) is an international event where academics and industrials exchange their experiences, advances, and new trends related to languages, tools, and techniques for developing software and hardware. Targeted systems encompass cyber-physical systems, distributed systems, real-time systems, embedded systems, mechatronics, IoT, and reactive systems.

FDL stimulates scientific and controversial discussions within and in-between scientific topics at different maturity levels.​ FDL is based on four non-limiting scientific pillars. Cross-fertilization between them, e.g., in the context of System Engineering, is of great interest.

* Language: Domain-Specific Languages for software, execution platforms, allocations, environment, contracts, abstraction/refinement are of interest, together with the associated design methods and frameworks. ​

* Simulation: innovative simulation techniques, virtual prototypes, digital twins, collaborative simulation, hybrid simulations or runtime abstraction/refinement are of interest, with a special interest on efficiency and correctness of the simulations and the underlying tools
and frameworks.

* Semantics: formal definition, compilers, interpreters, typing, abstraction/refinement, are of interest, together with the underlying specification frameworks or new approaches for their specification, modelling and model transformation. ​

* Verification and Analysis: beyond simulation, innovative static analysis, testing, debugging, model checking, artificial intelligence-based analysis or design space exploration are of interest, together with the underlying models, tools and frameworks.

===== Submissions =====

We solicit submissions of research papers (up to 8 pages), for oral presentation and publication in the formal proceedings. Research papers cover original research supported by experimental or theoretical results. We also solicit submissions for a Ph.D. Forum and a Work-in-Progress session (2 pages).
Authors should submit papers in double column, IEEE format as PDF through the online submission system.

===== Call for Special Sessions =====

A special session consists of a proposed topic of particular interest to the FDL audience. They consist of two to four invited talks. Speakers in a session are requested to submit either a one-page abstract or full paper that goes through the regular review and publication process. Potential organizers of a Special Session must submit a brief proposal (no more than two pages) that describes the topic, intended audience, and a list of possible speakers to fdl2023@easychair.org.

===== Publications =====

For the last 3 years, extended versions of selected papers have been published as a special issue of the ACM Transactions on Embedded Computing Systems (TECS).

==== Organizers =====

General Chair: Sara Vinco | Politecnico di Torino
Program Chair: David Broman | KTH Royal Institute of Technology
Special Session Chair: Reinhard von Hanxleden | Kiel University
Ph.D. Forum Co-Chair: Michele Lora | University of Verona
Ph.D. Forum Co-Chair: Frank Oppenheimer | OFFIS
Work in Progress Chair: Christoph Grimm | TU Kaiserslautern
Finance Chair: Franco Fummi | University of Verona
Publication Chair: Hokeun Kim | Hanyang University
Publicity Chair: Christian Pilato | Politecnico di Milano
Multi-Partner Projects Chair: Christian Pilato | Politecnico di Milano
Web Chair: Nicola Dall’Ora | University of Verona
Local arrangements Chair: Francesco Ponzio | Politecnico di Torino

Related Resources

HUSO 2024   6th Canadian International Conference on Humanities & Social Sciences 2024
DOLAP 2024   26th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data
IJCSA 2023   International Journal on Computational Science & Applications
ISDEA 2024   2024 3rd International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2024)
SPRA--EI 2023   2023 The 4th Symposium on Pattern Recognition and Applications (SPRA 2023)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
Design 2024   Eighteenth International Conference on Design Principles & Practices
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
SEMTEC 2023   International Conference on Semantic Technology