Forum on specification & Design Languages - FDL 2020

Країна: Германія

Місто: Kiel

Тези до: 22.05.2020

Дати: 07.09.20 — 09.09.20

Область наук: Філологічні;

Е-мейл Оргкомітету: rvh@informatik.uni-kiel.de

Організатори: 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.

Веб-сторінка конференції: http://fdl-conference.org/submission.html