We welcome authors to submit manuscripts on topics including, but not limited to:

• LFBDM: Language- and Formalism-Based Design Methodologies

This track seeks novel research contributions that employ languages and formalisms in the design, test, verification, and simulation of modern day electronic systems. These contributions may consist of (but are not limited to) the use of requirements and property specifications (RSLs, PSLs, SVA, ...), models of computations, automata (xFSM), networks (process networks, petri nets, task networks), model and component-based design (UML, SysML, MARTE, ...), platform modeling and abstraction, and system-level design languages (SystemC(-AMS), Modelica, VHDL-AMS, SystemVerilog, Verilog-AMS,...).

• TUMA: Techniques that Use Modern Architectures

This track seeks research contributions demonstrating effective techniques that use state-of-the-art computing architectures for the design and verification of electronic systems. Examples may include (but not limited to) parallel simulation, compilers with support for multi/many-core and heterogeneous (GPUs, FPGAs) architectures, high-level hardware and software synthesis, virtual prototyping, and design space exploration.

• TIRA: Tools and Industry-Relevant Applications

This track solicits contributions that present authors' experiences in designing applications that are relevant to electronic systems industries. The contributions should focus on applications that identify valuable design, test, simulation and verification practices for applications of the future. The contributions may also demonstrate effective use of tools for successfully developing the industryrelevant applications.