Games and Learning Alliance
GALA
Optimization and Learning
OLA
Cloud Computing and Services Science
International Conference on Cl
Network and Parallel Computing
NPC
Information Technologies and Intelligent Decision Making Systems
ITIDMS
Smart Grid and Internet of Things
EAI Internationa Congerence on
Multimedia Communications, Services and Security
Andrzej Dziech
Technologies and Innovation
CITI
Advances in Computing
Colombian Congress on Advances
Artificial General Intelligence
AGI
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria
Advances in Information and Computer Security
International Workshop on Secu
Embedded Computer Systems
SAMOS
Brain Informatics
International Conference on Br
Computer Algebra in Scientific Computing
International Workshop on Comp
Mobile Web and Intelligent Information Systems
MobiWIS
Real-Time Systems
Hermann Kopetz
Software Technologies
ICSOFT
Computing Science, Communication and Security
COMS2
Information Security and Cryptology - ICISC 2021
ICISC
