Books in the Lecture Notes in Computer Science series

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

This book contains revised selected papers from the 28th International Conference on Selected Areas in Cryptography, SAC 2021, held as a virtual event September and October 2021.*The 23 full papers presented in this volume were carefully reviewed and selected from 60 submissions.

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

This book constitutes revised selected papers from the 13th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2022, held in Leuven, Belgium, in April 2022. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions.

This book constitutes the Second International Challenge on Kidney and Kidney Tumor Segmentation, KiTS 2021, which was held in conjunction with the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021.

This book constitutes the proceedings of the 20th International Conference on Smart Card Research and Advanced Applications, CARDIS 2021, which took place in November 2021.

This two-volume set, LNCS 13163-13164, constitutes the refereed proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science, LOD 2021, together with the first edition of the Symposium on Artificial Intelligence and Neuroscience, ACAIN 2021.

This two-volume set, LNCS 13163-13164, constitutes the refereed proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science, LOD 2021, together with  the first edition of the Symposium on Artificial Intelligence and Neuroscience, ACAIN 2021.The total of 86 full papers presented in this two-volume post-conference proceedings set was carefully reviewed and selected from 215 submissions. These research articles were written by leading scientists in the fields of machine learning, artificial intelligence, reinforcement learning, computational optimization, neuroscience, and data science presenting a substantial array of ideas, technologies, algorithms, methods, and applications.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.

This book constitutes the proceedings of the 18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021, which was held in Paris, France during November 3-5, 2021.The 20 papers presented in this volume were carefully reviewed and selected from 62 submissions. and networks and communications.

This book constitutes the refereed post-conference proceedings of the 13th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2021, held in August 2021. The 9 papers presented were carefully reviewed and selected from numerous submissions.

This book constitutes the proceedings of the 25th Iberoamerican Congress on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, CIARP 2021, which took place during May 10-13, 2021. The conference was initially planned to take place in Porto, Portugal, but changed to a virtual event due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed proceedings of the 43rd DAGM German Conference on Pattern Recognition, DAGM GCPR 2021, which was held during September 28 - October 1, 2021.

The LNCS 13172 constitute the proceedings of the 13th International Symposium on Cyberspace Safety and Security, CSS 2021, held online, in November 2021.The 9 full papers and 5 short papers presented in this book were carefully reviewed and selected from 35 submissions.

This book constitutes the refereed proceedings of the Third International Conference on Distributed Artificial Intelligence, DAI 2021, held in Shanghai, China, in December 2021.The 15 full papers presented in this book were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid event in San Francisco, CA, USA, in October 2021.The 36 full papers presented in this book were carefully reviewed and selected from 50 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Network and System Security, NSS 2021, held in Tianjin, China, on October 23, 2021. The 16 full and 8 short papers presented in this book were carefully reviewed and selected from 62 submissions.

This book constitutes the proceedings of the 15th International Conference on Algorithmic Aspects in Information and Management, AAIM 2021, which was held online during December 20-22, 2021. The conference was originally planned to take place in Dallas, Texas, USA, but changed to a virtual event due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 18th IMA International Conference on Cryptography and Coding, IMACC 2021, held in December 2021. Due to COVID 19 pandemic the conference was held virtually. The 14 papers presented were carefully reviewed and selected from 30 submissions.

This book constitutes the refereed proceedings of the Third International Symposium on Mathematical and Computational Oncology, ISMCO 2021, held in October 2021. The papers are organized in topical sections named: statistical and machine learning methods for cancer research;

This book constitutes the thoroughly refereed workshop post-proceedings of the 19th International Workshop on Approximation and Online Algorithms, WAOA 2021, held in September 2021.

This book constitutes the refereed proceedings of the 16th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, held in Madrid, Spain, in November 2021. The 6 full and 2 short papers were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 16th International Conference on Critical Information Infrastructures Security, CRITIS 2021, which took place in Lausanne, Switzerland, during September 27-29, 2021.The 12 full papers included in this volume were carefully reviewed and selected from 42 submissions.

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2021, held in Lisbon, Portugal, in September 2021.

LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future.