posted by user: FDL2021 || 572 views || tracked by 3 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

AHMIS--EI, Scopus 2021   2021 2nd Asia Human-Computer Interaction Symposium (AHMIS 2021)--Ei Compendex, Scopus
AIKE 2021   IEEE Artificial Intelligence & Knowledge Engineering 2021
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
ICE 2021   14th Interaction and Concurrency Experience
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
CODES + ISSS 2021   International Conference on Hardware/Software Codesign and System Synthesis
SLATE 2021   10th Symposium on Languages, Technologies and Applications
EMSOFT 2021   International Conference on Embedded Software
ICDM 2021   21st IEEE International Conference on Data Mining
ICMLA 2021   20th IEEE International Conference on Machine Learning and Applications