posted by user: FDL2021 || 2357 views || tracked by 4 users: [display]

FDL 2021 : 24th IEEE Forum on specification & Design Languages

FacebookTwitterLinkedInGoogle


Conference Series : Forum on specification and Design Languages
 
Link: http://fdl-conference.org/
 
When Sep 8, 2021 - Sep 10, 2021
Where Antibes (France)
Abstract Registration Due May 17, 2021
Submission Deadline May 24, 2021
Notification Due Jun 30, 2021
Final Version Due Jul 19, 2021
Categories    embedded software   system engineering   domain specific languages   formal semantics
 

Call For Papers

The 24th IEEE Forum on specification and Description 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 or coordination are of interest, together with the associated design methods and frameworks. ​

* Simulation: innovative simulation techniques, simulation of incomplete models, 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 tool and framework.

* 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.​

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.​

Extended versions of selected papers will be published as a journal special issue (TBC).​

Related Resources

FDL 2024   Forum on specification and Design Languages
ESWEEK 2024   Embedded Systems Week
IEEE AIxVR 2024   IEEE International Conference on Artificial Intelligence & extended and Virtual Reality
BAMC 2024   The 5th Barcelona Conference on Arts, Media & Culture (BAMC2024)
IEEE CCNC 2025   IEEE Consumer Communications & Networking Conference
UIC 2024   The 21st IEEE International Conference on Ubiquitous Intelligence and Computing
ICDM 2024   IEEE International Conference on Data Mining
IEEE BigData 2024   2024 IEEE International Conference on Big Data
ISDEA 2024   2024 3rd International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2024)
Social Sustainability 2025   Twenty-first International Conference on Environmental, Cultural, Economic & Social Sustainability