Forum on specification & Design Languages - FDL 2020
Тези до: 22.05.2020
Дати: 07.09.20 — 09.09.20
Область наук: Філологічні;
Е-мейл Оргкомітету: email@example.com
Організатори: 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