Forum on specification & Design Languages - FDL 2020
Abstr. due: 22.05.2020
Dates: 07.09.20 — 09.09.20
Area Of Sciences: Humanities;
Organizing comittee e-mail: email@example.com
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: http://fdl-conference.org/submission.html
Similar conferences with close deadlines:
VIII Международный симпозиум «Гуманитарные и общественные науки в Европе: достижения и перспективы»ITheses applying till 24.01.22, Вена