FDL 2017

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.