FDL TBA

FDL welcomes submissions of papers within several different categories.

• Research Papers: original papers with clear research contributions and evaluation (8 pages). Papers are presented orally at the conference. Accepted papers will be submitted for inclusion into IEEE Xplore subject to meeting IEEE Xplore’s scope and quality requirements.
• 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).
• Project Dissemination Papers: submission of papers explaining innovative and high-tech research projects within the scope of FDL (8 pages). Accepted papers will be presented orally in a specific session of the conference. Accepted papers will be submitted for inclusion into IEEE Xplore subject to meeting IEEE Xplore’s scope and quality requirements.
• Wild-and-Crazy-Idea Papers: papers with well-explained fundamentally new ideas without rigorous evaluation (4 pages). Accepted papers will be presented orally in a specific session of the conference. Accepted papers will be submitted for inclusion into IEEE Xplore subject to meeting IEEE Xplore’s scope and quality requirements.
• Ph.D. Forum Extended Abstracts: submission of 2-page papers (extended abstracts). Accepted papers are distributed informally at the conference, and students present their work during a poster session.
• Work-in-progress Extended Abstracts: submission of 2-page papers (extended abstracts) describing ongoing work where final results are unavailable. Accepted papers are distributed informally at the conference, and authors present their work during a poster session.

For details on each category, see the specific calls in the main menu.

CFP Flyer

Please view or download the call for papers (CFP) flyer here.

Important Deadlines (23:59 Anywhere on Earth)

• Special Session proposals: March 16, 2023
• Paper Deadline (research papers, wild-and-crazy idea papers, and project dissemination papers): May 10, 2023 - EXTENDED
• Work-in-Progress/Ph.D. Forum submission deadline: July 15, 2023
• Author notification (conditional acceptance): June 8, 2023
• Final acceptance: July 6, 2023
• Camera-ready submission: July 20, 2023

Topics

In all submission categories, we welcome authors to submit manuscripts on topics including, but not limited to:

• Languages and formalisms for designing, testing, verifying, and simulating electronic systems.
• Platform modeling and abstraction, and system-level design languages.
• Synchronous and functional languages for reactive and concurrent systems.
• High-level hardware and software synthesis, virtual prototyping, and design space exploration.
• Requirements and property specifications, models of computations, automata, networks, model- and component-based design.
• Languages and compilers for multi/manycore and heterogeneous architectures.
• Formal methods and languages for model development and verification.
• Modeling and programming language for smart contracts and blockchain.
• Languages and models for specific design domains, like, healthcare, automotive, Industry 4.0, etc.
• Languages and compilers for modern computing architectures (energy-efficient and high-performance computing, accelerators including GPUs and FPGAs, deep-learning processors, and IoTs).
• Languages in model-based design and system-design for intelligent systems and machine learning.
• Ontology-based languages and approaches for representation of knowledge about system designs.
• Modeling languages and tools for modelling physical environments or networks.

Formatting guidelines

Authors should submit papers in double columns, IEEE format as PDF through the submission system (see IEEE templates website for required templates). Research papers, special session papers, and project dissemination papers have a maximum length of 8 pages, wild-and-crazy-idea papers a maximum length of 4 pages, and WiP/Ph.D. Forum papers (extended abstracts) a maximum length of 2 pages. All page limits include references and acknowledgments. No appendices are allowed. All submitted papers must be anonymous (except project dissemination papers). All papers must describe original, unpublished work, and must not be under consideration for publication elsewhere.

Submission

Please submit your paper via EasyChair using the following link: https://easychair.org/conferences/?conf=fdl2023

Lightweight double-blind submissions

This year, we will apply a lightweight double-blind process: initial submissions are double-blind (to avoid initial bias), but author names are 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.

Shepherding process

This year, we will also introduce a shepherding process, 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, given that the authors improve their papers accordingly.

Publications of accepted papers

Accepted papers will be submitted for inclusion into IEEE Xplore subject to meeting IEEE Xplore’s scope and quality requirements. In addition, extended versions of selected papers may be published in a special journal issue (TBC). Accepted papers must be presented by one of the authors. One full registration for each paper is required prior to the camera-ready paper deadline.

Indication of the submission category

Submissions must be clearly tagged to distinguish them from regular research paper submissions, both during the submission process (by selecting the corresponding label in EasyChair) and on the submitted PDF, by using the \IEEEspecialpapernotice keyword:

• \IEEEspecialpapernotice{PROJECT DISSEMINATION SUBMISSION}
• \IEEEspecialpapernotice{WILD-AND-CRAZY-IDEA SUBMISSION}
• \IEEEspecialpapernotice{WORK-IN-PROGRESS SUBMISSION}
• \IEEEspecialpapernotice{PHD FORUM SUBMISSION}

Note that regular research papers and special session papers must be marked as “RESEARCH PAPERS” in the conference system.

Camera Ready for Conference Proceedings

The deadline for the submission of the final version of the paper is July 20, 2023. Final version manuscripts must satisfy the following requirements:

• revised according to the review comments;
• for full research papers, up to 8 pages long, including all text, figures, and references;
• for project-dissemination papers, up to 8 pages long, including all text, figures, references, and paper type (see below for details);
• for wild-and-crazy-idea papers, up to 4 pages long, including all text, figures, references, and paper type (see below for details);
• update your paper using via EasyChair using the following link: https://easychair.org/conferences/?conf=fdl2023 .

Document Formatting

• The paper should adopt the two-column IEEE format. Templates are provided for Microsoft Word and LaTeX;
• For more information, see link;
• Each paper should contain an abstract of 100 to 150 words, and up to 5 keywords, which you may select from the IEEE keyword list;
• Do not put page numbers on your document, and make sure that all fonts are embedded.

Camera Ready for IEEE Xplore

The deadline for the submission of the final version of the paper is July 20, 2023. Final version manuscripts must satisfy the following requirements:

• papers must be written in English using the available LaTeX or Microsoft Word templates for A4 format. Formatting may not be altered;
• for full research papers, up to 8 pages long, including all text, figures, and references;
• for project-dissemination papers, up to 8 pages long, including all text, figures, and references;
• for wild-and-crazy-idea papers, up to 4 pages long, including all text, figures, and references;
• for project-dissemination papers and wild-and-crazy-idea papers, an italic 11pt paper type must be included right below the paper title: Project-Dissemination Paper or Wild-and-Crazy-Idea Paper. If you are using Latex, you can simply use the Latex syntax like this:
1. \IEEEspecialpapernotice{Project-Dissemination Paper}
2. \IEEEspecialpapernotice{Wild-and-Crazy-Idea Paper}
• confirmed IEEE Xplore compatibility by using IEEE PDF eXpress
• included Copyright Information;
• submitted by updating via EasyChair using the following link: https://easychair.org/conferences/?conf=fdl2023.

Copyright Information

Please note that the camera-ready version of your paper must also include the correct copyright information, which must be added before PDF eXpress validation. The appropriate copyright clearance code notice is to appear on the bottom of the first page of each paper according to the guidelines set forth in the Cataloging/Copyright Instructions for an IEEE Conference Proceeding. Detailed instructions can be found at: link. Detailed instructions for the copyright information are below:

• For papers in which all authors are employed by the US government, the copyright notice is: U.S. Government work not protected by U.S. copyright
• For papers in which all authors are employed by a Crown government (UK, Canada, and Australia), the copyright notice is: 979-8-3503-0737-5/23/$31.00 ©2023 Crown
• For papers in which all authors are employed by the European Union, the copyright notice is: 979-8-3503-0737-5/23/$31.00 ©2023 European Union
• For all other papers the copyright notice is: 979-8-3503-0737-5/23/$31.00 ©2023 IEEE

If you are using Latex, you can add the copyright information simply using \IEEEoverridecommandlockouts like this:
\IEEEoverridecommandlockouts \IEEEpubid{\makebox[\columnwidth]{ 979-8-3503-0737-5/23/\$31.00~\copyright2023 IEEE \hfill} \hspace{\columnsep}\makebox[\columnwidth]{ }}

Validation with PDF Express

The paper must be validated with IEEE PDF eXpress, by entering 59689X CODE for the Conference ID. New users can create a new PDF eXpress account by selecting Create account. Previous users of PDF eXpress or IEEE PDF eXpress Plus should enter the same password that was used for previous conferences. In case of issues with PDF eXpress, please contact the Publications Support Center for IEEE PDF eXpress. The approved PDF must then be uploaded to EasyChair.

Electronic Copyright Form Submission

IEEE policy requires that prior to publication, all authors or their employers must transfer to the IEEE in writing any copyright they hold for their individual papers. ONE OF THE AUTHORS MUST NEED TO COMPLETE eCopyright. The corresponding authors of accepted papers will receive an email from IEEE with a link and login credentials to log in to eCF and submit copyright forms for their papers. For any questions, please contact the Publication Chair, Dr. Hokeun Kim (hokeunkim@berkeley.edu).