This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

This book constitutes the refereed post-conference proceedings of the 10th International Conference on Mobile Networks and Management, MONAMI 2020, held in Chiba, Japan, in November 2020. The conference was held virtually due to the COVID-19 pandemic.The 19 full papers were carefully reviewed and selected from 41 submissions. The papers are divided into groups of content as follows: Application of artificial intelligence for smart city; Advanced technology in edge computing; Recent advances in mobile communications and computing; Emerging technologies and applications in mobile networks and management.

This book constitutes the refereed proceedings of the 6th International Conference on Multidisciplinary Social Networks Research, MISNC 2019, held in Wenzhou, China, in August 2019. The 15 full papers presented were carefully reviewed and selected from 37 submissions. The papers deal with the following topics: social network, social network analysis, data engineering, data mining, user behavior.

This book constitutes the proceedings of the 8th International Conference on Analysis of Images, Social Networks and Texts, AIST 2019, held in Kazan, Russia, in July 2019.The 24 full papers and 10 short papers were carefully reviewed and selected from 134 submissions (of which 21 papers were rejected without being reviewed). The papers are organized in topical sections on general topics of data analysis; natural language processing; social network analysis; analysis of images and video; optimization problems on graphs and network structures; analysis of dynamic behaviour through event data.

This book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EvoCOP, EvoMUSART and EvoApplications. The 12 full papers and 6 short papers presented in this book were carefully reviewed and selected from 36 submissions. The papers cover a wide spectrum of topics, including designing GP algorithms for ensemble learning, comparing GP with popular machine learning algorithms, customising GP algorithms for more explainable AI applications to real-world problems.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2019, held in Palermo, Italy, in October 2019. The 22 full papers and 13 short papers included in the volume were carefully reviewed and selected from 53 submissions. They are organized in the following topical sections: M&S of intelligent systems - AI, R&D and application; future challenges of advanced M&S technology; AxS in context of future warfare and security environment (concepts, applications, training, interoperability, etc.).

This book constitutes the refereed proceedings of the 10th International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2019, held in Guangzhou, China, in December 2019.The 39 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 121 submissions. The papers deal with research results and development activities in all aspects of parallel architectures, algorithms and programming techniques.

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes the thoroughly refereed proceedings of the Second Ibero-American Congress, ICSC-CITIES 2019, held in Soria, Spain, in October 2019. The 22 full papers presented were carefully reviewed and selected from 98 submissions. The papers focus on Energy Efficiency and Sustainability; Infrastructures, Energy and the Environment; Mobility and Internet of Things; and Governance and Citizenship.

This book constitutes the thoroughly refereed proceedings of the 9th Joint International Semantic Technology Conference, JIST 2019, held in Hangzhou, China, in November 2019.The 12 full papers and 12 short papers presented were carefully reviewed and selected from 70 submissions. The papers present applications of semantic technologies, theoretical results, new algorithms and tools to facilitate the adoption of semantic technologies.

This two-volume set of LNCS 12489 and 12490 constitutes the thoroughly refereed conference proceedings of the 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020, held in Guimaraes, Portugal, in November 2020.*The 93 papers presented were carefully reviewed and selected from 134 submissions. These papers provided a timely sample of the latest advances in data engineering and machine learning, from methodologies, frameworks, and algorithms to applications. The core themes of IDEAL 2020 include big data challenges, machine learning, data mining, information retrieval and management, bio-/neuro-informatics, bio-inspiredmodels, agents and hybrid intelligent systems, real-world applications of intelligent techniques and AI. * The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 12th International Conference on Social Robotics, ICSR 2020, held in Golden, CO, USA, in November 2020. The conference was held virtually.The 57 full papers presented were carefully reviewed and selected from 101 submissions. The theme of the 2020 conference is Entertaining Robots. The papers focus on the following topics: human-robot trust and human-robot teaming, robot understanding and following of social and moral norms, physical and interaction design of social robots, verbal and nonverbal robot communication, interactive robot learning, robot motion and proxemics, and robots in domains such as education and healthcare.

This book constitutes the thoroughly refereed proceedings of the 9th International Congress on Telematics and Computing, WITCOM 2020, held in Puerto Vallarta, Mexico, in November 2020. Due to the COVID-19 pandemic the conference was held online. The 28 full papers and 3 short papers in this volume were carefully reviewed and selected from 79 submissions. The papers are focused on the topics of deep and machine learning, cybersecurity, wireless networks, computer vision, communications, and education applied to different sceneries of study and COVID-19.

This book constitutes the refereed proceedings of the Third Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2019, held in Istanbul, Turkey, in December 2019. The 18 revised full papers and one short paper presented were carefully selected from 54 submissions. The papers are covering the topics of recent advancements in different areas of pattern recognition and artificial intelligence, such as statistical, structural and syntactic pattern recognition, machine learning, data mining, neural networks, computer vision, multimedia systems, information retrieval, etc.

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.

This book constitutes the refereed proceedings of the 6th International Conference on Data Science, ICDS 2019, held in Ningbo, China, during May 2019. The 64 revised full papers presented were carefully reviewed and selected from 210 submissions. The research papers cover the areas of Advancement of Data Science and Smart City Applications, Theory of Data Science, Data Science of People and Health, Web of Data, Data Science of Trust and Internet of Things.

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.

The two-volume set LNAI 12468 and 12469 constitutes the proceedings of the 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, held in Mexico City, Mexico, in October 2020. The total of 77 papers presented in these two volumes was carefully reviewed and selected from 186 submissions. The contributions are organized in topical as follows: Part I: machine and deep learning, evolutionary and metaheuristic algorithms, and soft computing. Part II: natural language processing, image processing and pattern recognition, and intelligent applications and robotics.

This book constitutes the refereed proceedings of the 20th International Conference on Innovations for Community Services, I4CS 2020, held in Bhubaneswar, India, in January, 2020. The 16 revised full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers focus on all aspects of: communities and social networks; information and system security; cloud and network security; communication and networks; and data analytics and e-governance.

The three-volume set of LNCS 11953, 11954, and 11955 constitutes the proceedings of the 26th International Conference on Neural Information Processing, ICONIP 2019, held in Sydney, Australia, in December 2019.The 173 full papers presented were carefully reviewed and selected from 645 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The third volume, LNCS 11955, is organized in topical sections on semantic and graph based approaches; spiking neuron and related models; text computing using neural techniques; time-series and related models; and unsupervised neural models.

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Metadata and Semantic Research, MTSR 2019, held in Rome, Italy, in October 2019. The 27 full and 15 short papers presented were carefully reviewed and selected from 96 submissions. The papers are organized in the following tracks: metadata and semantics for digital libraries, information retrieval, big, linked, social and open data; metadata and semantics for agriculture, food, and environment; digital humanities and digital curation; cultural collections and applications; european and national projects; metadata, identifiers and semantics in decentralized applications, blockchains and P2P systems.

This book constitutes the proceedings of the 15th International Conference on Information Systems Security, ICISS 2019, held in Hyderabad, India, in December 2019. The 13 revised full papers and 4 short papers presented in this book together with 4 abstracts of invited talks were carefully reviewed and selected from 63 submissions. The papers cover topics such as: smart contracts; formal techniques; access control; machine learning; distributed systems; cryptography; online social networks; images and cryptography.

This book constitutes the proceedings of the 9th International Conference on Artificial Intelligence and Mobile Services, AIMS 2020, held as part of SCF 2020, during September 18-20, 2020. The conference was planned to take place in Honolulu, HI, USA and was changed to a virtual format due to the COVID-19 pandemic. The 11 full and 2 short papers presented were carefully reviewed and selected from 42 submissions. They cover topics in AI Modeling, AI Analysis, AI and Mobile Applications, AI Architecture, AI Management, AI Engineering, Mobile backend as a service (MBaaS), User experience of AI and mobile services.