[hpc-announce] [FDL'23] Call for papers - deadline May 1, 2023

[Christian Pilato]

==================================================

FDL'23 -- The 26th Forum on specification & Design Languages

http://fdl-conference.com/

13-15 September 2023 | Turin, Italy

==================================================



Important Deadlines (23:59 Anywhere on Earth):

- Paper deadline*: May 1, 2023

- Extended abstract deadline**: June 1, 2023

- Author Notification (conditional acceptance): June 8, 2023

- Final acceptance: June 29, 2023

- Camera-ready submission: July 13, 2023

* For research, wild-and-crazy idea, and project dissemination papers

** For Ph.D. forum and Work-in-Progress submissions



The 26th Forum on specification and Design Languages (FDL) is 

an international event where academics and industrials exchange 

their experiences, advances, and new trends related to languages, 

tools, and techniques for developing software and hardware. 

Targeted systems encompass cyber-physical systems, distributed 

systems, real-time systems, embedded systems, mechatronics, IoT,

and reactive systems.



FDL stimulates scientific and controversial discussions within and 

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, abstractions, and 

refinements are of interest, together with the associated design 

methods, frameworks, and tools.



* Simulation: innovative simulation techniques, virtual prototypes, 

digital twins, collaborative simulation, hybrid simulations, or runtime 

abstraction/refinement are of interest, with special attention on the 

efficiency and correctness of simulations and their underlying tools 

and frameworks.



* Semantics: formal definitions, compilers, interpreters, typing, 

abstraction/refinement, are of interest, together with the underlying 

specification frameworks or new approaches for their specification, 

modeling, and model transformation.



* Verification and Analysis: innovative static analysis, testing, 

debugging, model checking, machine learning-based analysis, 

or design space exploration are of interest, together with the 

underlying models, tools and frameworks.





Submissions: 



We solicit submissions for several potential contributions:

* Research papers (up to 8 pages)

* Special session papers (up to 8 pages)

* Project dissemination papers (up to 8 pages)

* Wild-and-crazy-idea papers (up to 4 pages)

* PhD forum extended abstracts (up to 2 pages)

* Work-in-progress extended abstracts (up to 2 pages)



You can find more details for each of these categories at the following

link: https://fdl-conference.com/submission.html#call4paper





Publications: 



Research papers, special session, project dissemination, and 

wild-and-crazy-idea  papers are planned to be published 

electronically on IEEE Xplore with an ISSN and an ISBN number.

Other contributions (e.g., Ph.D. forum/Work-in-Progress papers) 

will be available on the FDL homepage, but are not counted as 

formal publications and can therefore be extended and submitted 

elsewhere.



For the last 3 years, extended versions of selected papers have 

been published as a special issue of the ACM Transactions on 

Embedded Computing Systems (TECS).





Organizers:



General Chair: Sara Vinco | Politecnico di Torino

Program Chair: David Broman | KTH Royal Institute of Technology

Special Session Chair: Reinhard von Hanxleden | Kiel University

Tutorial Chair: Michael Mendler | Bamberg University

Ph.D. Forum Co-Chair: Michele Lora | University of Verona

Ph.D. Forum Co-Chair: Frank Oppenheimer | OFFIS

Work in Progress Chair: Christoph Grimm | TU Kaiserslautern

Finance Chair: Franco Fummi | University of Verona

Publication Chair: Hokeun Kim | Hanyang University

Publicity Chair: Christian Pilato | Politecnico di Milano

Multi-Partner Projects Chair: Christian Pilato | Politecnico di Milano

Web Chair: Nicola Dall’Ora | University of Verona

Local arrangements Chair: Francesco Ponzio | Politecnico di Torino



FDL is sponsored by all the organizations of the organizers as

well as by IFIP Working group 10.5 and IEEE/CEDA.