Books in the Lecture Notes in Computer Science series

The volume LNAI 13546 constitutes the refereed proceedings of the 23rd Annual Conference Towards Autonomous Robotic Systems, TAROS 2022, held in Culham, UK, in September 2022.The 14 full papers and 10 short papers were carefully reviewed and selected from 38 submissions. Organized in the topical sections "e;Algorithms"e; and "e;Systems"e;, they discuss significant findings and advances in the following areas: Robotic Grippers and Manipulation; Soft Robotics, Sensing and Mobile Robots; Robotic Learning, Mapping and Planning; Robotic Systems and Applications.

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. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected from 57 submissions. They are organized in 2 topical sections named: state of research and best practice, country, and experience reports.As in our school education subjects like "e;digital literacy"e; or "e;media literacy"e; are making their way in, complementing or partially replacing computer science education. The current ISSEP conference reacted to this trend and therefore invited computer scientists, media didactics, and representatives of politics, media and industry to a discussion round on the topic "e;Media Education or Computer Science? Quo Vadis, School Teaching?"e;.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.

This book constitutes the refereed proceedings of the 15th IAPR International Workshop on Document Analysis Systems, DAS 2022, held in La Rochelle, France, in May 2022.The full papers presented were carefully reviewed and selected from numerous submissions addressing key techniques of document analysis.

This book constitutes the refereed proceedings of the 45th German Conference on Artificial Intelligence, KI 2022, held in September 2022.The 12 full and 5 short papers were carefully reviewed and selected from 51 submissions. Additionally, five abstracts of invited talks are included. As well-established annual conference series KI is dedicated to research on theory and applications across all methods and topic areas of AI research.Due to COVID-19 the conference was held virtually.The chapter "e;Dynamically Self-Adjusting Gaussian Processes for Data Stream Modelling"e; is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This LNCS 13407 constitutes the refereed proceedings of the 24th International Conference on Information and Communications Security, ICICS 2022, held in Canterbury, UK,, in September 2022. The 34 revised full papers presented in the book were carefully selected from 150 submissionsThe papers are organized around the following topics: Cryptography, Authentication, Privacy and Anonymity, Attacks and Vulnerability Analysis, Artificial Intelligence for Detection, and Network Security and Forensics.

This two-volume set LNCS 13305 - 13306 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2022, which was held as part of HCI International 2022 and took place virtually during June 26-July 1, 2022.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 included in the HCII-HIMI volume set were organized in topical sections as follows:  Part I: Human-centered design approaches; information design and quality; visual design; visualization and big data; Information, cognition and learning. Part II: Recommender systems; robots and avatars appearance and embodiment; information in virtual and augmented reality; information in complex technological environments.

This book constitutes the proceedings of the 26th European Conference on Advances in Databases and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022.The 23 full papers presented together with 5 keynote and tutorial papers were carefully reviewed and selected from 90 submissions. The papers are organized in the following topical sections: keynote talk and tutorials; graph processing; time series and data streams; on line analytical processing; advanced querying; performance; machine learning; data science methods.

This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022. The 31 full papers included in this book were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: Auctions, markets and mechanism design; computational aspects in games; congestion and network creation games; data sharing and learning; social choice and stable matchings.

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.Statistical Statements in Probabilistic Logic Programming"e; and "e;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination"e; are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Chapters "e;Statistical Statements in Probabilistic Logic Programming"e; and "e;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination"e; are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This two-volume set LNCS 13305 - 13306 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2022, which was held as part of HCI International 2022 and took place virtually during June 26-July 1, 2022.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 included in the HCII-HIMI volume set were organized in topical sections as follows:  Part I: Human-centered design approaches; information design and quality; visual design; visualization and big data; Information, cognition and learning. Part II: Recommender systems; robots and avatars appearance and embodiment; information in virtual and augmented reality; information in complex technological environments.

This two volume proceedings, LNCS 13445 and 13446, constitutes the refereed proceedings of the 9th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, XR Salento 2022, held in Lecce, Italy, July 6-8, 2022. Due to COVID-19 pandemic the conference was held as a hybrid conference.The 42 full and 16 short papers were carefully reviewed and selected from 84 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, applications in cultural heritage, in medicine, in education, and in industry.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.

This book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2022, held in Konstanz, Germany, in April 2022.The 7 full papers presented together with 6 short papers in the volume were carefully reviewed and selected from 16 submissions.  The papers cover topics that range from mobile GIS and Location-Based Services to Spatial Information Retrieval and Wireless Sensor Networks.

This book constitutes the refereed proceedings of the 17th International Workshop on Security, IWSEC 2022, which took place as a hybrid event in Tokyo, Japan, in August/September 2022. The 12 full papers presented in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: mathematical cryptography; system security and threat intelligence; symmetric-key cryptography; post-quantum cryptography; advanced cryptography. 

This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022. The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions. 8 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 19th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions. The EPCE 2022 proceedings covers subjects such as advances in applied cognitive psychology that underpin the theory, measurement and methodologies behind the development of human-machine systems. Cognitive Ergonomics describes advances in the design and development of user interfaces.

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

This book constitutes the refereed proceedings of the 20th International Conference on Computational Methods in Systems Biology, CMSB 2022, held in Bucharest, Romania, in September 2022.The 13 full papers and 4 tool papers were carefully reviewed and selected from 43 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems. The papers are arranged thematically as follows: Chemical reaction networks; Boolean networks; continuous and hybrid models; machine learning; software.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

This book constitutes the refereed proceedings of the 11th  International Conference on Haptic and Audio Interaction Design, HAID 2022, held in London, UK, in August 2022.The 13 full papers presented were carefully reviewed and selected from 19 submissions that were sent for peer review. The papers are organized in topical sections on accessibility, perception, design and applications, and musical applications.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

This two-volume set LNCS 1319 and 13320 constitutes the thoroughly refereed proceedings of the 13th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2022, which was held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022.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. DHM 2022 includes a total of 56 papers. The first volume focuses on topics related to ergonomic design, anthropometry, and human modeling, as well as collaboration, communication, and human behavior. The second volume focuses on topics related to task analysis, quality and safety in healthcare, as well as occupational health and operations management, and Digital Human Modeling in interactive product and service design.

This book constitutes the refereed proceedings of the 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, which took place in Geneva, Switzerland, in September 2022.The 31 full papers presented in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: Theory; Modelling and simulation physical systems and phenomena; Cellular automata and spreading dynamics; Crowds, pedestrian and traffic dynamics; Other studies on cellular automata.

This book constitutes the proceedings of the 30th International Conference on Case-Based Reasoning, ICCBR 2022, which took place in Nancy, France, during September 12-15, 2022.The theme of ICCBR 2022 was Global Challenges for CBR aiming to consider how CBR can and might contribute to challenges in sustainability, climate change, and global health. The 26 papers presented in this volume were carefully reviewed and selected from 68 submissions. They deal with AI and related research focusing on comparison and integration of CBR with other AI methods such as deep learning architectures, reinforcement learning, lifelong learning, and eXplainable AI (XAI).

This two-volume set LNCS 13317 and 13318 constitutes the thoroughly refereed proceedings of the 14th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2022, held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The 56 papers included in this 2-volume set were organized in topical sections as follows: Developing VAMR Environments; Evaluating VAMR environments; Gesture-based, haptic and multimodal interaction in VAMR; Social, emotional, psychological and persuasive aspects in VAMR; VAMR in learning, education and culture; VAMR in aviation; Industrial applications of VAMR. The first volume focuses on topics related to developing and evaluating VAMR environments, gesture-based, haptic and multimodal interaction in VAMR, as well as social, emotional, psychological and persuasive aspects in VAMR, while the second focusses on topics related to VAMR in learning, education and culture, VAMR in aviation, and industrial applications of VAMR.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.  nbsp;      17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)nbsp;      3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022)nbsp;      9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)nbsp;      1st International Workshop on Security and Safety Interaction (SENSEI 2022)nbsp;      3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022)nbsp;      5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)