Böcker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 18th International Conference on Virtual Reality and Mixed Reality, EuroXR 2021, held in Valencia, Spain, in November 2021.The 8 full and 4 short papers were carefully reviewed and selected from 31 submissions.

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021. The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions.

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.

This book constitutes the refereed proceedings of the 26th Australasian Conference on Information Security and Privacy, ACISP 2021, held in Perth, WA, Australia, in November 2021.The 35 full papers presented were carefully revised and selected from 157 submissions.

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Social Robotics, ICSR 2021, held in Singapore, Singapore, in November 2021. The conference presents topics on humans and intelligent robots and on the integration of robots into the fabric of our society.

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020.

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Practice of Natural Computing, TPNC 2021, held virtually, in December 2021. The 9 full papers presented together with 3 invited talks, in this book were carefully reviewed and selected from 14 submissions.

This book constitutes the refereed proceedings of the 7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, held in Havana, Cuba, in October 2021.

This book constitutes the proceedings of the 20th International Conference on Advances in Web-Based Learning, ICWL 2021, which was held in Macau, China, in November 2021. The papers included in this volume deal with multiple topics, from algorithms to systems and applications and are organized in 3 tracks: Online learning methodologies, trust, and analysis; Online learning environment with tools; Online learning privacy issues and special tools.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

This book constitutes the proceedings of the Third International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2020, held in Guildford, UK, in September 2020.

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions.

This book constitutes the proceedings of the )th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2020, held in Freiburg, Germany, in July 2020.

This book constitutes the First Automatization of Cranial Implant Design in Cranioplasty Challenge, AutoImplant 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020.

This book constitutes the refereed proceedings of the 15th International Conference on Green, Pervasive, and Cloud Computing, GPC 2020, held in Xi'an, China, in November 2020. The 30 full papers presented in this book together with 8 short papers were carefully reviewed and selected from 96 submissions.

This volume LNCS 12557 constitutes the refereed proceedings of the 17th International Symposium on Neural Networks, ISNN 2020, held in Cairo, Egypt, in December 2020.The 24 papers presented in the two volumes were carefully reviewed and selected from 39 submissions. The papers were organized in topical sections named: optimization algorithms;

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020. The 9 full papers presented in this book were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020.