You can view or download the call for papers here (PDF)
We welcome authors to submit manuscripts on topics including, but not limited to:
Languages and formalisms in the design, test, verification, and simulation of electronic systems.
Requirements and property specifications, models of computations, automata, networks, model- and component-based design.
Platform modeling and abstraction, and system-level design languages.
Synchronous and functional languages for reactive and concurrent systems.
System design involving modern approaches such as machine learning and its verification, as well as modern computing architectures such as energy-efficient and high-performance computing, accelerators including GPUs and FPGAs, and IoT applications.
Languages and compilers for multi/many-core and heterogeneous architectures.
Formal methods and languages for model development and verification.
Languages in model-based design of intelligent systems and machine learning.
High-level hardware and software synthesis, virtual prototyping, and design space exploration.
- Special Sessions: March 22, 2019
- Abstract Deadline:
April 19, 2019 May 03, 2019
- Paper Deadline:
April 26, 2019 May 10, 2019
- Author Notification:
June 21, 2019 June 28, 2019
- Final Version: July 19, 2019
Authors should submit papers in double column, IEEE format as PDF through the submission system. A full research paper has a maximum of 8 pages, short papers may have up to 4 pages. Submitted papers must be anonymous (double blind), must describe original unpublished work, and must not be under consideration for publication elsewhere.
Publications (of accepted papers)
Conference proceedings will be published in electronic form with an ISSN and an ISBN number and made available on IEEE Xplore. In addition, an edited collection of extended versions of selected best papers will be published as a book by Springer. Accepted papers must be presented by one of the authors. A full registration for each paper is required prior to the camera ready papers deadline.
The paper should adopt the two-column IEEE format with A4 size. 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.
Please note that the camera-ready version of your paper must include also the correct copyright information, that 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 For papers in which all authors:
Validation with PDF Express
The paper must be validated with PDF eXpress , by entering 48830X CODE for the Conference ID. New users can create a new PDF eXpress account by selecting the New Users - Click Here link. 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 have already received an email from IEEE with link and login credentials to login to eCF and submit copyright forms for their papers. For any questions, please, contact the Publication Chair, Dr. Basel Halak, University of Southampton, UK.