FDL 2022 : 25th Forum on specification & Design Languages
FDL 2022 : 25th Forum on specification & Design Languages

FDL 2022 : 25th Forum on specification & Design Languages

Linz (Austria)
Event Date: September 14, 2022 - September 16, 2022
Abstract Submission Deadline: May 02, 2022
Submission Deadline: May 09, 2022
Notification of Acceptance: June 13, 2022
Camera Ready Version Due: July 02, 2022

Call for Papers

The 25th Forum on specification and Design Languages (FDL) is an international event where academics and industrials exchange their experiences, advances and the new trends in the languages and techniques used along any phase of the development process of hardware and platform based Cyber Physical Systems. The targeted systems encompass distributed, real time, embedded systems, mechatronics, IoT, reactive systems amongst others; not only for the software part but also at the system level, i.e., including different concerns like for instance the hardware platform and the physical environment.

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 full research papers (6 to 8 pages), for oral presentation, which cover novel and complete research work supported by experimental results. We also solicit submissions of short papers (4 pages), for interactive presentations / posters. Furthermore, we solicit submissions for a PhD/Work in Progress Forum (2 pages).​ Authors should submit papers in double column, IEEE format as PDF through the online submission system.

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

Special Sessions should propose a topic which is of particular interest to the FDL audience. They consist of two to four invited talks. Speakers are requested to either submit a one page abstract of their presentation, or to submit a short or full paper that goes through the regular review and publication process. Potential organizers of a Special Session shall submit a brief proposal (no more than two pages) which describes the topic, the intended audience, as well as a list of possible speakers to [email protected]

===== Publications =====

All accepted papers (long, short, WiP, poster) will appear in the informal electronic proceedings, handed out at the conference.​ Long and short papers will be published in electronic form on IEEE Xplore with an ISSN and an ISBN number.​ For the last three years, extended versions of FDL selected papers have been published as a special issue of the ACM Transactions on Embedded Computing Systems (TECS).​

==== Organizers =====

General Chair: Daniel Große | Johannes Kepler University Linz
Program Chair: Sara Vinco | Politecnico di Torino
Special Session Chair: Francisco Cazorla | Barcelona Supercomputing Center
Tutorial Chair: Michael Mendler | Bamberg University
PhD/WiP Chair: Christoph Grimm | TU Kaiserslautern
Finance Chair: Franco Fummi | Univ. of Verona
Publication Chair: Gianvito Urgese | Politecnico di Torino
Publicity Chair: Julio Medina | Univ. of Cantabria
Web Chair: Stefano Spellini | Univ. of Verona
Panel Chair: Reinhard von Hanxleden | Kiel University

Credits and Sources

[1] FDL 2022 : 25th Forum on specification & Design Languages

Check other Conferences, Workshops, Seminars, and Events


ICHC 2022: 2022 The 9th International Conference on History and Culture (ICHC 2022)
Plymouth, UK
Dec 14, 2022
AICCSA 2022: 19th ACS/IEEE International Conference on Computer Systems and Applications
Abu Dhabi, UAE
Dec 5, 2022
NLP4DH 2022: 2nd International Workshop on Natural Language Processing for Digital Humanities
Taipei, Taiwan
Nov 24, 2022
ALQAC 2022: Automated Legal Question Answering Competition
Nha Trang, Vietnam
Oct 19, 2022
ICLLL 2022: 2022 12th International Conference on Languages, Literature and Linguistics (ICLLL 2022)
Tsuru University, Japan
Nov 21, 2022


ESM 2022: ESM'2022, The 36th annual European Simulation and Modelling Conference, ISEP, Porto - Portugal, October 26-28, 2022
Oct 26, 2022
TDIS 2022: TDIS 2022: 2nd International Workshop on Testing Distributed Internet of Things Systems
Pacific Grove, California
Sep 27, 2022
Gama-Days 2022: International meeting of Gama Users
Jun 22, 2022
HPCA-PhS 2022: Fifth Minisymposium on HPC Applications in Physical Sciences
Gdansk, Poland
Sep 11, 2022
ICMOS 2022: 2022 International Conference on Modelling, Optimization and Simulation (ICMOS2022)
Chongqing, China
Jun 29, 2022


FinSim4-ESG 2022: [FinNLP-2022] The 4th Shared Task on Learning Semantic Similarities for the Financial Domain: Extended edition to ESG insights
Vienna, Austria
Jul 23, 2022
SmP 2022: Structure Meets Power 2022
Jul 4, 2022
SemIoT 2022: Semantic Modeling and Design Patterns For IoT Ecosystems
NATL 2022: 8th International Conference on Natural Language Computing
Zurich, Switzerland
Nov 19, 2022
SEMAPRO 2021: The Fifteenth International Conference on Advances in Semantic Processing
Barcelona, Spain
Oct 03, 2021


FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
Oct 24, 2022
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
FAACS 2022: 6th International Workshop on Formal Approaches for Advanced Computing Systems
Prague, Czechia
Sep 19, 2022
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
RP 2022: Reachability Problems
Oct 17, 2022