This volume is a comprehensive collection of extended contributions from the fourth
international symposium on Modeling and Implementing Complex Systems (MICS'2106) organized into
four main topics: Networking and Cloud Computing Software Engineering and Formal Methods
Intelligent and Information Systems and Algorithms and Complexity. This book presents recent
advances related to theory and applications of networking and distributed computing including:
cloud computing software engineering formal methods information extraction optimization
algorithms intelligent systems and multi-agent systems.
