posted by user: FDL2021 || 2192 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 2023   Forum on specification and Design Languages
ACM ICCPR 2023   ACM--2023 12th International Conference on Computing and Pattern Recognition (ICCPR 2023)
EAI DLI 2023   8th EAI International Conference on Design, Learning & Innovation
IEEE FNWF 2023   Call for Papers and Proposal Submissions, IEEE Future Networks World Forum
San Francisco 2023   Learning. Life. Work
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
IEEE Blockchain 2023   The 6th IEEE International Conference on Blockchain
ICSE 2024   The IEEE/ACM International Conference on Software Engineering (Second Round)
ICCAD 2023   IEEE/ACM International Conference on Computer-Aided Design
ICSC 2024   IEEE International Conference on Semantic Computing