Forum on specification & Design Languages - FDL 2020

Country: Germany

City: Kiel

Abstr. due: 22.05.2020

Dates: 07.09.20 — 09.09.20

Area Of Sciences: Humanities;

Organizing comittee e-mail:

Organizers: FDL Committee&partners



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.

Conference Web-Site: