FDL 2021: Forum on specification & Design Languages http://fdl-conference.org/venue.html Antibes, France, September 8-10, 2021 |
Conference website | http://fdl-conference.org/ |
Submission link | https://easychair.org/conferences/?conf=fdl2021 |
Abstract registration deadline | May 17, 2021 |
Submission deadline | May 24, 2021 |
CALL FOR PAPERS
FDL'21 -- The 24th IEEE Forum on specification & Design Languages, www.fdl-conference.org
8-10 September 2021 | Antibes, France
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.
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 the Special Session Chair.
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).
Important Dates
- Special Sessions: March 15, 2021
- Abstract Deadline: May 17, 2021
- Paper Deadline: May 24, 2021
- PhD/WiP Deadline: June 14, 2021
- Author Notification: June 30, 2021
- Final Version: July 19, 2021
Organizers
- General Chair: Julien Deantoni | University Cote d'Azur.
- Program Chair: Daniel Große | Johannes Kepler University Linz
- Local Chair: Agnès Cortel | INRIA
- Special Session Chair: Sara Vinco | Politecnico di Torino
- Tutorial Chairs: Johannes Koch | TU Kaiserslautern & Erwan Bousse | Université de Nantes
- PhD/WiP Chair: Marie-Agnès Peraldi-Frati | University Cote d'Azur
- Finance Chair: Franco Fummi | Univ. of Verona
- Publication Chair: Joao Cambeiro | University Cote d'Azur
- Web Chair: Florenc Demrozi | Univ. of Verona
- Panel Chair: Frank Oppenheimer | OFFIS e.V.
- Publicity Chair: Julio Medina | Univ. of Cantabria