Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022. The 9 full papers and 6 short papers were carefully selected from 47 submissions. In the Research Track, 11 full papers presented together with 5 short papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: components, APIs and interface management; architecting for data-driven systems; microservices and middleware; architecture modeling, design and decision making; architecture reconstruction and recovery.

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.

This book constitutes revised selected papers from the thoroughly refereed proceedings of the International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV, COINE 2021, held in London, UK, May 3, 2021.  The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Invited talk; conceptual frameworks architectures for collaboration and coordination; and modelling and understanding social behaviour using COINE technologies.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

This book constitutes the proceedings of the 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, held in Toulouse, France, in September 2022.The 30 research papers and 31 demo and poster papers presented in this volume were carefully reviewed and selected from 109 submissions. Chapter "e;Learners' Strategies in Interactive Sorting Tasks"e; is available open access under a CC BY 4.0 license.

This book constitutes the refereed proceedings of the 19th International Conference on Virtual Reality and Mixed Reality, EuroXR 2022, held in Stuttgart, Germany, in September 2022.The 6 full and 2 short papers were carefully reviewed and selected from 37 submissions. The conference presents contributions on results and insights in Virtual Reality (VR), Augmented Reality (AR), andMixed Reality (MR), commonly referred to under the umbrella of Extended Reality (XR), including software systems, immersive rendering technologies, 3D user interfaces, and applications.

This book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Munster, Germany, in September 2022. The 22 papers included in this book were carefully reviewed and selected from 98 submissions. They were organized in topical sections as follows: task mining; design methods; process mining; process mining practice; analytics; and systems. The book also includes one keynote talk in full-paper length and 5 tutorial papers. 

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 9 full papers and 2 short papers presented in this book were carefully reviewed and selected from 19 submissions. DAIS addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications. 

This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.

This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions; effectie use of advanced heterogeneous node architectures; OpenMP tool support; OpenMP and multiple translation units.Chapter "e;Improving Tool Support for Nested Parallel Regions with Introspection Consistency"e; is publshed Open Access and licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/).

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.The 32 full papers presented in this volume were carefully reviewed and selected from a total of 96 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from Graph Theory can be applied to various areas in Computer Science, or by extracting new graph theoretic problems from applications.

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.