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

CSIP 2023   10th International Conference on Signal Processing
ICCAD 2023   IEEE/ACM International Conference on Computer-Aided Design
IEEE ICVR 2023   2023 the 9th International Conference on Virtual Reality (ICVR 2023)--IEEE, SCI
2DMATFORUM 2024   International Forum on 2D Materials and Graphene
LLL 2023   10th International Conference on Language, Literature, Linguistics 2023
SAMDE 2023   2023 5th International Symposium on Automation, Mechanical and Design Engineering (SAMDE 2023)
HUSO 2023   5th Canadian International Conference on Humanities & Social Sciences 2023
AIFZ 2023   9th International Conference on Artificial Intelligence and Fuzzy Logic Systems
EAI DLI 2023   8th EAI International Conference on Design, Learning & Innovation
CALCO 2023   Conference on Algebra and Coalgebra in Computer Science