FDL: Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2022 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FDL 2021 24th IEEE Forum on specification & Design Languages
Sep 8, 2021 - Sep 10, 2021 Antibes (France) May 24, 2021 (May 17, 2021)
FDL 2018 Forum on specification and Design Languages
Sep 10, 2018 - Sep 12, 2018 Munich, Germany Apr 28, 2018 (Apr 21, 2018)
FDL 2016 Forum on specification & Design Languages
Sep 14, 2016 - Sep 16, 2016 Bremen, Germany May 3, 2016 (Apr 26, 2016)
FDL 2014 Forum on specification and Design Languages
Oct 14, 2014 - Oct 16, 2014 Munich, Germany May 5, 2014
FDL 2013 Forum on specification and Design Languages
Sep 24, 2013 - Sep 26, 2013 Paris, France May 22, 2013
FDL 2012 Forum on Specification & Design Languages
Sep 18, 2012 - Sep 20, 2012 Vienna, Austria Apr 2, 2012
FDL 2011 Forum on Specification & Design Languages
Sep 13, 2011 - Sep 15, 2011 Oldenburg, Germany May 1, 2011
FDL 2008 Forum on Specification, Verification & Design Languages
Sep 23, 2008 - Sep 25, 2008 Stuttgart, Germany Mar 31, 2008
 
 

Present CFP : 2021

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

CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
ICIDAE-Ei Compendex & SCOPUS 2022   2022 2nd International Conference on Interactive Design, Architecture and Engineering (ICIDAE 2022)
AsiaSim 2021   Asia Simulation Conference 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
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
ICDEPI-SCOPUS 2022   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2022)
DSN 2022   The 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
OSDI 2022   16th USENIX Symposium on Operating Systems Design and Implementation
ERI 2022   The 2nd IAFOR Conference on Educational Research & Innovation (ERI2022)
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation