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
- Paper Deadline: April 26, 2019
- Author Notification: June 21, 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.