Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the proceedings of the 10th International Conference on Big Data Analytics, BDA 2022, which took place in a hybrid mode during December 2022 in Aizu, Japan.The 14 full papers included in this volume were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: big data analytics, networking, social media, search, information extraction, image processing and analysis, spatial, text, mobile and graph data analysis, machine learning, and healthcare.

This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022. The peer-reviewed 10 papers included in this volume stem from the following three challenges: Kidney Parsing Challenge 2022: Multi-Structure Segmentation for Renal Cancer Treatment (KiPA 2022) The 2022 Correction of Brain Shift with Intra-Operative Ultrasound-Segmentation Challenge (CuRIOUS-SEG 2022) The 2022 Mediastinal Lesion Analysis Challenge (MELA 2022)

This book constitutes the proceedings of the 24th International Conference, PAM 2023, held as a virtual event, March 21¿23, 2023.The 18 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers are organized in the following topical sections: VPNs and Infrastructure; TLS; Applications; Measurement Tools; Network Performance; Topology; Security and Privacy; DNS; and Web.

This book constitutes the refereed post-conference proceedings of the workshops held at the 16th Asian Conference on Computer Vision, ACCV 2022, which took place in Macao, China, in December 2022. The 25 papers included in this book were carefully reviewed and selected from 40 submissions. They have been organized in topical sections as follows: Learning with limited data for face analysis; adversarial machine learning towards advanced vision systems; computer vision for medical computing; machine learning and computing for visual semantic analysis; vision transformers theory and applications; and deep learning-based small object detection from images and videos.

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3¿6, 2023.The 17 papers presented in this book were carefully reviewed and selected from 26 submissions.They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 13 submissions. The workshop covers a wide range of topics such as dynamic semantics, logical dynamics, Dynamic Epistemic Logic, Discourse Representation Theory, formal semantics, free choice inference, update semantics, and donkey sentences.

This book constitutes the refereed proceedings of the 14th International Conference on Metaheuristics, MIC 2022, held in Syracuse, Italy, in July 2022.The 48 full papers together with 17 short papers presented were carefully reviewed and selected from 72 submissions. The papers detail metaheuristic techniques.Chapter ¿Evaluating the Effects of Chaos in Variable Neighbourhood Search¿ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings and revised selected papers from the 16th International Workshop on Data Privacy Management, DPM 2021, and the 5th International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2021, which were held online on October 8, 2021, in conjunction with ESORICS 2021. The workshops were initially planned to take place in Darmstadt, Germany, and changed to an online event due to the COVID-19 pandemic.The DPM 2021 workshop received 25 submissions and accepted 7 full and 3 short papers for publication. These papers were organized in topical sections as follows: Risks and privacy preservation; policies and regulation; privacy and learning.For CBT 2021 6 full papers and 6 short papers were accepted out of 31 submissions. They were organized in topical sections as follows: Mining, consensus and market manipulation; smart contracts and anonymity.

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

This book constitutes the refereed proceedings of the 12th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2022 held in Leiden, The Netherlands, during March 20-24, 2023.The 44 regular papers presented in this book were carefully reviewed and selected from 65 submissions.The papers are divided into the following topical sections: Algorithm Design and Engineering; Machine Learning and Multi-criterion Optimization; Benchmarking and Performance Assessment; Indicator Design and Complexity Analysis; Applications in Real World Domains; and Multi-Criteria Decision Making and Interactive Algorithms..

This book constitutes the refereed proceedings of the 18th International Conference on Information Security and Cryptology, Inscrypt 2022, held in Beijing, China during December 11¿13, 2022. The 23 full papers and 3 short papers included in this book were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: Block Ciphers, Public key Encryption & Signature, Quantum, MPC, Cryptanalysis, Mathematical aspects of Crypto, Stream ciphers, Malware, Lattices.

This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023.The 30 full papers presented together with 2 invited papers were carefully reviewed and selected from 75 submissions. They cover topics such as: computational geometry; string algorithm; optimization; graph algorithm; approximation algorithm; and parameterized complexity.

This book constitutes the refereed proceedings of seven International Workshops which were held in conjunction with the 27th European Symposium on Research in Computer Security, ESORICS 2022, held in hybrid mode, in Copenhagen, Denmark, during September 26-30, 2022.The 39 papers included in these proceedings stem from the following workshops: 8th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2022, which accepted 8 papers from 15 submissions; 6th International Workshop on Security and Privacy Requirements Engineering, SECPRE 2022, which accepted 2 papers from 5 submissions; Second Workshop on Security, Privacy, Organizations, and Systems Engineering, SPOSE 2022, which accepted 4 full papers out of 13 submissions; Third Cyber-Physical Security for Critical Infrastructures Protection, CPS4CIP 2022, which accepted 9 full and 1 short paper out of 19 submissions; Second International Workshop on Cyber Defence Technologies and Secure Communications at the Network Edge, CDT & SECOMANE 2022, which accepted 5 papers out of 8 submissions; First International Workshop on Election Infrastructure Security, EIS 2022, which accepted 5 papers out of 10 submissions; and First International Workshop on System Security Assurance, SecAssure 2022, which accepted 5 papers out of 10 submissions. Chapter(s) 5, 10, 11, and 14 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

This book constitutes the refereed proceedings of the 13th International Conference on Decision and Game Theory for Security, GameSec 2022, held in October 2022 in Pittsburgh, PA, USA. The 15 full papers presented were carefully reviewed and selected from 39 submissions. The papers are grouped thematically on: deception in security; planning and learning in dynamic environments; security games; adversarial learning and optimization; novel applications and new game models.

This two-volume set LNCS 13315 and 13316 constitutes the refereed proceedings of the 14th International Conference on Social Computing and Social Media, SCSM 2022, held as part of the 24rd International Conference, HCI International 2022, which took place in June-July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 275 posters included in the 40 HCII 2022 proceedings volumes was carefully reviewed and selected from 5583 submissions. The papers of SCSM 2022, Part I, are organized in topical sections named: design and user experience in social media and social live streaming; text analysis and AI in social media; social media impact on society and business.

This proceedings, LCT 2022, constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, LCT 2022, held as Part of the 24th International Conference, HCI International 2022, which took place in June/July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1271 papers and 275 poster papers included in the 39 HCII 2022 proceedings volumes was carefully reviewed and selected from 5487 submissions. The papers of LCT 2022 are organized in topical sections named: Designing and Developing Learning Technologies; Learning and Teaching Online; Diversity in Learning; Technology in Education: Practices and Experiences.

This two-volume set of LCT 2022, constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, LCT 2022, held as Part of the 24th International Conference, HCI International 2022, which took place in June/July 2022. Due to COVID-19 pandemic the conference was held virtually. The total of 1271 papers and 275 poster papers included in the 39 HCII 2022 proceedings volumes was carefully reviewed and selected from 5487 submissions. The papers of LCT 2022 Part II are organized in topical sections named: eXtended Reality in Learning and Education; Chatbots, Robots and Virtual Teachers; Collaboration Technology.

This two-volume set LNCS 13315 and 13316 constitutes the refereed proceedings of the 14th International Conference on Social Computing and Social Media, SCSM 2022, held as part of the 24rd International Conference, HCI International 2022, which took place in June-July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 275 posters included in the 40 HCII 2022 proceedings volumes was carefully reviewed and selected from 5583 submissions. The papers of SCSM 2022, Part II, are organized in topical sections named: social media in education; customer experience and consumer behavior.

This two-volume set constitutes the refereed proceedings of the 16th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2022, held as part of the 24th International Conference, HCI International 2022, held as a virtual event, in June-July 2022. A total of 1271 papers and 275 posters included in the 39 HCII 2022 proceedings volumes. UAHCI 2022 includes a total of 73 papers; they focus on topics related to universal access methods, techniques and practices, studies on accessibility, design for all, usability, UX and technology acceptance, emotion and behavior recognition for universal access, accessible media, access to learning and education, as well universal access to virtual and intelligent assistive environments.