FDL: Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
FDL 2022 25th Forum on specification & Design Languages
Sep 14, 2022 - Sep 16, 2022 Linz (Austria) May 9, 2022 (May 2, 2022)
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 : 2022

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 fdl2022@easychair.org.

===== 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
 

Related Resources

NATP 2022   9th International Conference on Natural Language Processing
ICCES--EI, Scopus 2023   The 29th International Conference on Computational & Experimental Engineering and Sciences
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems
ITCA 2023   11th International Conference of Information Technology, Control and Automation
POPL 2023   50th Symposium on Principles of Programming Languages
JEDT 2022   International Journal of Electronic Design and Test
PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
DARCH NOVEMBER 2022   3rd International Conference on Architecture and Design
AITIJ 2022   Advances in Interconnect Technologies: An International Journal