IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
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


OTHER LANGUAGE EVENTS

MAS-GAIN 2025: 1st International Workshop on Multi-Agent Systems using Generative Artificial INtelligence for Automated Software Engineering
Seoul, South Korea
Nov 16, 2025
VMIL 2025: 2025 Workshop on Virtual Machines and Language Implementations
Shingapore
Oct 12, 2025
MUWS 2025: MUWS 2025 - The 4th International Workshop on Multimodal Human Understanding for the Web and Social Media
Dublin, Ireland
Oct 27, 2025
ICNLP 2026: 2026 The 8th International Conference on Natural Language Processing (ICNLP 2026)
Xi'an, China
Mar 20, 2026
NLPA 2025: 6th International Conference on Natural Language Processing and Applications
London, United Kingdom
Jul 26, 2025
SHOW ALL

OTHER SIMULATION EVENTS

ICCGV--EI 2026: 2026 9th International Conference on Computer Graphics and Virtuality (ICCGV 2026)
Chengdu, China
Feb 28, 2026
Almanac of Artificial Seasons 2025: The Almanac of Artificial Seasons
Virtual
AI4BPM 2025: Artificial Intelligence for Business Process Management
Seville, Spain
Sep 5, 2025
VIPERC 2025: 4th International Conference on Visual Pattern Extraction and Recognition for Cultural Heritage Understanding
Pescara, Italy
Dec 3, 2025
EDTconf 2025: 2nd International Conference on Engineering Digital Twins
Online & Michigan, US
Oct 6, 2025
SHOW ALL

OTHER SEMANTICS EVENTS

ReacTS 2025: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Toledo, Spain
Nov 10, 2025
EXPRESS/SOS 2025: Combined International Workshop on Expressiveness in Concurrency and on Structural Operational Semantics
Aarhus
Aug 25, 2025
LChange 2024: LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
Bangkok
Aug 15, 2024
MWE-UD 2024: Joint Workshop on Multiword Expressions and Universal Dependencies
Torino, Italy
May 25, 2024
PSSV 2023: International Workshop on Program Semantics, Specification and Verification
hybrid
Nov 3, 2023
SHOW ALL

OTHER VERIFICATION EVENTS

SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SCID @ AsiaCCS 2024: 1st ACM workshop on Security-Centric Strategies for Combating Information Disorder
Singapore
Jul 1, 2024
SPIN 2024: 30th International Symposium on Model Checking Software
Luxembourg City
Apr 10, 2024
SHOW ALL