Books in the Lecture Notes in Computer Science series

This volume LNCS 13591 constitutes the proceedings of the International Conference on Cooperative Information Systems, CoopIS 2022, collocated with the Enterprise Design, Operations and Computing conference, EDOC 2022, in October 2022 in Bozen-Bolzano, Italy. The 15 regular papers presented together with 5 research in progress papers were carefully reviewed and selected from 68 submissions. The conference focuses on technical, economical, and societal aspects of distributed information systems at scale. As said, this 28th edition was collocated with the 26th edition of the Enterprise Design, Operations and Computing conference, EDOC 2022,  and its guiding theme was "e;Information Systems in a Digital World"e;.

This book constitutes the refereed proceedings of the 7th International Conference on Belief Functions, BELIEF 2022, held in Paris, France, in October 2022.The theory of belief functions is now well established as a general framework for reasoning with uncertainty, and has well-understood connections to other frameworks such as probability, possibility, and imprecise probability theories. It has been applied in diverse areas such as machine learning, information fusion, and pattern recognition.The 29 full papers presented in this book were carefully selected and reviewed from 31 submissions. The papers cover a wide range on theoretical aspects on mathematical foundations, statistical inference as well as on applications in various areas including classification, clustering, data fusion, image processing, and much more.

This book constitutes the refereed proceedings of the 6th International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2022, held in Be'er Sheva, Israel, in June - July 2022.The 24 full and 11 short papers presented together with a keynote paper in this volume were carefully reviewed and selected from 53 submissions. They deal with the theory, design, analysis, implementation, or application of cyber security, cryptography and machine learning systems and networks, and conceptually innovative topics in these research areas.

Volume LNCS 13516 is part of the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually during June 26 to July 1, 2022.A total of 5583 individuals from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the proceedings that were published just before the start of the conference. Additionally, 296 papers and 181 posters are included in the volumes of the proceedings published after the conference, as "e;Late Breaking Work"e; (papers and posters). The contributions thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.

This book constitutes the proceedings of the 26th International Conference on Enterprise Design, Operations, and Computing, EDOC 2022, which took place in Bozen-Bolzano, Italy, in October 2022. The 15 full papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in topical sections as follows: enterprise security; enterprise architecture; business process modeling and monitoring; business process mining and discovery; and process-driven applications.

This book constitutes the proceedings of the First International Workshop on Continual Semi-Supervised Learning, CSSL 2021, which took place as a virtual event during August 2021.The 9 full papers and 0 short papers included in this book were carefully reviewed and selected from 14 submissions.

This book constitutes revised selected papers from the refereed proceedings of the 11th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2021, held as a virtual event during December 16-18, 2021.The 13 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: Computational advances in bio and medical sciences; and computational advances in molecular epidemiology.

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17-19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including multi-core architectures, Concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, big data applications and systems, cloud systems, networks, security, and formal verification.They were organized in topical sections as follows: Distributed System; Networking; Verification; Security.

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

This book constitutes the refereed proceedings of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022, which was held in Leuven, Belgium, during June 6-10, 2022.The 31 full papers included in these proceedings were selected from 203 submissions. They were organized in topical sections as follows: Process mining; sustainable and explainable applications; tools and methods to support research and design; process modeling; natural language processing techniques in IS engineering; process monitoring and simulation; graph and network models; model analysis and comprehension; recommender systems; conceptual models, metamodels and taxonomies; and services engineering and digitalization.

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.

This two-volume set of LNAI 13551 and 13552 constitutes the refereed proceedings of the 11th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2022, held in Guilin, China, in September 2022.The 62 full papers, 21 poster papers, and 27 workshop papers presented were carefully reviewed and selected from 327 submissions. They are organized in the following areas: Fundamentals of NLP; Machine Translation and Multilinguality; Machine Learning for NLP; Information Extraction and Knowledge Graph; Summarization and Generation; Question Answering; Dialogue Systems; Social Media and Sentiment Analysis; NLP Applications and Text Mining; and Multimodality and Explainability.

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 

This book constitutes the refereed proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, EKAW 2022, held in Bolzano, Italy, in September 2022. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 57 submissions The previous event in the series, EKAW 2020, introduced a special theme related to "e;Ethical and Trustworthy Knowledge Engineering."e; This theme is still very relevant in 2022, and thus has remained one of the core topics of the conference.The conference concerned with all aspects about eliciting, acquiring, modeling and managing knowledge, and the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and much more.

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.

This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022. The 18 full papers, 27 short papers and 15 accelerating innovation papers included in these proceedings were carefully reviewed and selected from 107 submissions. They focus on digital libraries and associated technical, practical, and social issues. 

This book constitutes the refereed proceedings of the 44th DAGM German Conference on Pattern Recognition, DAGM GCPR 2022, which was held during September 27 - 30, 2022.The 37 papers presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: machine learning methods; unsupervised, semi-supervised and transfer learning; interpretable machine learning; low-level vision and computational photography; motion, pose estimation and tracking; 3D vision and stereo; detection and recognition; language and vision; scene understanding; photogrammetry and remote sensing; pattern recognition in the life and natural sciences; systems and applications.

This book constitutes the refereed proceedings of the 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, held in Cergy-Pontoise, France, in September 2022.The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: Embodiment; Brain-Inspired Control, Adaptation, and Learning; Bio-inspired Vision and navigation; Affective and Social Cognition and Collective Intelligence.

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

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.