FDL 2021 : 24th IEEE Forum on specification & Design Languages

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.