posted by organizer: hokeun || 980 views || tracked by 1 users: [display]

FDL 2024 : Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle


Conference Series : Forum on specification and Design Languages
 
Link: https://www.fdl-conference.com/
 
When Sep 4, 2024 - Sep 6, 2024
Where Stockholm, Sweden
Submission Deadline May 8, 2024
Notification Due Jun 7, 2024
Final Version Due Jul 19, 2024
Categories    language   simulation   semantics   verification
 

Call For Papers

===== VENUE =====

The 27th Forum on specification and Design Languages (FDL) will take place during September 4-6, 2024, at the KTH Royal Institute of Technology in Stockholm, Sweden.


===== IMPORTANT DATES =====

Special Session proposals: April 15, 2024
Paper Submission Deadline: May 8, 2024 (Extended)
Author Notification: June 7, 2024
Final Acceptance Notification: July 5, 2024
Work-in-Progress Deadline: July 12, 2024
Ph.D. Forum Deadline: July 12, 2024
Camera-ready Submission: July 19, 2024
Conference: September 4-6, 2024


===== ABOUT FDL =====

The 27th Forum on specification and Design Languages (FDL) is an international event where academics and industrials exchange their results, experiences, advances, and new trends related to languages, tools, and techniques for developing software and hardware systems.

Targeted systems encompass cyber-physical systems, distributed systems, real-time systems, embedded systems, mechatronics, IoT, and reactive systems. FDL is based on the four following non-limiting scientific areas:

- Languages: 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.
- 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.
- 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.

Cross-fertilization between the above areas, in particular in the context of system engineering, is of great interest. Therefore, we welcome authors to submit manuscripts on topics including, but not limited to:

- languages and formalisms in model-based system design for modeling, testing, verification, and simulation;
- languages for knowledge representation about system designs;
- models of computations considering concurrency and time like dataflow computing, synchronous and functional languages, event-based languages, etc;
- modeling languages and tools for modelling (cyber-)physical environments or networks;
- formal methods and languages for modeling, specification, and verification;
- system design for modern hardware architectures like multi/manycore processors, and heterogeneous platforms, accelerators including GPUs and FPGAs;
- high-level hardware and software synthesis, virtual prototyping, and design space exploration;
- modeling and programming languages for smart contracts and distributed ledger technologies;
- case studies from typical application areas like healthcare, automotive, Industry 4.0, etc.


===== PAPER CATEGORIES =====

FDL stimulates scientific and controversial discussions within and between scientific topics at different maturity levels. The following categories of papers are presented orally at the conference and will be submitted for inclusion into IEEE Xplore subject to meeting IEEE Xplore's scope and quality requirements:

- Research Papers: original papers with clear research contributions and evaluation (8 pages plus references).
- Special Session Papers: call for organizing special sessions on a specific topic (2-page session proposals). Papers within the special session follow the same peer reviewing and publishing process as for research papers (8 pages plus references).
- Wild-and-Crazy-Idea Papers: papers with well-explained fundamentally new ideas without rigorous evaluation (4 pages plus references).
- Tool Papers: papers about new tools, their methods and successful case studies (6 pages plus references). In contrast to research papers, tool papers may not describe new research ideas, and rather present on a solid implementation of existing methods that are made publically available to the community.

In addition to the above categories of papers, there will be the following further categories of papers which are not published with IEEE and are instead presented orally and distributed informally at the conference:

- Work-in-progress Extended Abstracts: submission of 2-page papers (extended abstracts) describing ongoing work where final results are not yet available but where potential solutions are already mature enough to be discussed at the conference.
- Ph.D. Forum Extended Abstracts: submission of 2-page papers (extended abstracts) about planned and ongoing work on Ph.D. thesis that can be discussed at the conference.


===== SUBMISSION =====

Authors should submit papers in double columns, IEEE format as PDF through the submission system (see IEEE templates website https://www.ieee.org/conferences/publishing/templates.html for required templates). All submitted papers must describe original, unpublished work, and must not be under consideration for publication elsewhere.
Initial submissions are double-blind (to avoid initial bias), but author names become available to reviewers during discussion and before the final decision. Hence, note that you must not disclose your identity in the submitted paper. References to your own papers should still be included but referred to in the third person.
Submissions must be clearly tagged to determine the submission category by using the \IEEEspecialpapernotice keyword:


\IEEEspecialpapernotice{REGULAR PAPER SUBMISSION}
\IEEEspecialpapernotice{SPECIAL SESSION SUBMISSION}
\IEEEspecialpapernotice{WILD-AND-CRAZY-IDEA SUBMISSION}
\IEEEspecialpapernotice{TOOL PAPER SUBMISSION}
\IEEEspecialpapernotice{WORK-IN-PROGRESS SUBMISSION}
\IEEEspecialpapernotice{PHD FORUM SUBMISSION}

Please submit your paper via EasyChair using the following link:

https://easychair.org/conferences/?conf=fdl24


===== SHEPHERDING PROCESS =====

We will make use of a shepherding process if needed, where papers may first be conditionally accepted with specific guidelines on what needs be addressed to be accepted. An anonymous shepherd will be introduced for each conditionally accepted paper, who will guide and help the authors improve the paper for final acceptance. The aim is that all conditionally accepted papers should be finally accepted, so that the shepherding process is meant to improve the papers accordingly.

For more details, please see https://fdl-conference.com/


===== ORGANIZERS =====

General Chair: David Broman, KTH Royal Institute of Technology
Program Chair: Klaus Schneider, RPTU Kaiserslautern
Finance Chair: Franco Fummi, University of Verona
PhD Forum Chair: Michele Lora, University of Verona
Publicity & Publication Chair: Hokeun Kim, Arizona State University
Web Chair: Nicola Dall'Ora, University of Verona

Related Resources

DOLAP 2025   27th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data
HUSO 2025   7th Canadian International Conference on Humanities & Social Sciences 2025
ICoSSE 2025   CPS--2025 8th International Conference on Software and System Engineering (ICoSSE 2025)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ICVARS 2025   ACM--2025 9th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2025)
CoUDP 2025   2025 International Conference on Urban Design and Planning (CoUDP 2025)
MBMV 2025   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
SLIE 2025   Semantic, Logics, Information Extraction and AI (SLIE)
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
JEDT 2024   International Journal of Electronic Design and Test