Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the proceedings of the 42nd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2022, which was held in Cambridge, UK, in December 2022.The 20 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 40 submissions. The volume includes technical papers presenting new and innovative developments in the field as well as application papers presenting innovative applications of AI techniques in a number of subject domains. The papers are organized in the following topical sections: best technical paper; best application paper; AI for health and medicine; AI for scientific discovery and decision making; AI for industrial applications; feasibility studies of applied AI; and short papers.

This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022. The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was "e;Revolutions and revelations in computability"e;. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and Gdel's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational paradigms such as quantum computing and bio-computing, which have dramatically changed our view of computability and revealed new insights into the multifarious nature of computation.

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.

This book constitutes the refereed proceedings of the 15th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2022, held online on November 17-19, 2022.The 14 full papers and 5 short papers presented were carefully reviewed and selected from 42 submissions. 

This book constitutes the refereed proceedings of the 21st International Conference on Cryptology and Network Security, CANS 2022, which was held during November 13-16, 2022. The conference was took place in Abu Dhabi, United Arab Emirates.The 18 full and 2 short papers presented in these proceedings were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: zero-knowledge and MPC; public-key infrastructure; attacks and countermeasures; cryptanalysis and provable security; cryptographic protocols; blockchain and payment systems; and codes and post-quantum cryptography.

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems, COINE 2022, which was held in Auckland, New Zealand, on May 9, 2022.The 14 papers included in these proceedings were carefully reviewed and selected from 15 submissions. They deal with autonomous agents and multi-agent systems, focusing on the scientific and technological aspects of social coordination, organizational theory, artificial (electronic) institutions, and normative and ethical MAS.

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

This book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepcion, Chile, in November 2022.The 23 full papers presented in this volume were carefully reviewed and selected from 43 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.

This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical Informatics, LATIN 2022, which took place in Guanajuato, Mexico, in November 2022. The 46 papers presented in this volume were carefully reviewed and selected from 114 submissions. They were organized in topical sections as follows: Algorithms and Data Structures; Approximation Algorithms; Cryptography; Social Choice Theory; Theoretical Machine Learning; Automata Theory and Formal Languages; Combinatorics and Graph Theory; Complexity Theory; Computational Geometry.Chapter "e;Klee's Measure Problem Made Oblivious"e; is available open access under a CC BY 4.0 license.

This book constitutes thoroughly refereed and revised selected papers from the proceedings of 19th European Conference on Multi-Agent Systems, EUMAS 2022, held in Dusseldorf, Germany, during  September 14-16, 2022.The 23 full papers included in this book were carefully reviewed and selected from 36 submissions. The book also contains 6 short summaries of talks from  PhD students at the PhD day. The papers deal with current topics in the research and development of multi-agent systems.

This book constitutes the proceedings of the 19th International Conference on Web Information Systems and Applications, WISA 2022, held in Dalian, China, in September 2022.The 45 full papers and 19 short papers presented were carefully reviewed and selected from 212 submissions. The papers are grouped in topical sections on knowledge graph, natural language processing, world wide web, machine learning, query processing and algorithm, recommendation, data privacy and security, and blockchain.

This volume constitutes the proceedings of the 28th International Conference on Collaboration Technologies and Social Computing, CollabTech 2022, held in Santiago, Chile during November 8-11, 2022. The 18 full and 4 work-in-process papers presented in this volume were selected from 37 submissions and underwent careful double-blind peer review. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science.

This book constitutes the thoroughly refereed proceedings of the 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, held in Kitakyushu, Japan, in July 2022.The 67 full papers and 11 short papers presented were carefully reviewed and selected from 127 submissions. The IEA/AIE 2022 conference focuses on focuses on applications of applied intelligent systems to solve real-life problems in all areas including business and finance, science, engineering, industry, cyberspace, bioinformatics, automation, robotics, medicine and biomedicine, and human-machine interactions.

This book constitutes thoroughly refereed and revised selected best and visionary papers from the Workshops held at the International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, which took place online, during  May 9-13, 2022.The 5 best papers and 4 visionary papers included in this book stem from the following workshops: - 13th Workshop on Optimization and Learning in Multi-agent Systems (OptLearnMAS);- 23rd Workshop on Multi-Agent Based Simulation (MABS);- 6th Workshop on Agent-Based Modelling of Urban Systems (ABMUS);- 10th Workshop on Engineering Multi-Agent Systems (EMAS);- 1st Workshop on Rebellion and Disobedience in AI (RaD-AI).There was a total of 59 submissions to these workshops. 

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

This book constitutes the proceedings of the Second IAPR International Conference on Discrete Geometry and Mathematical Morphology, DGMM 2022, which was held during October 24-27, 2022, in Strasbourg, France.The 33 papers included in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: discrete and combinatorial topology; discrete tomography and inverse problems; multivariate and PDE-based mathematical morphology, morphological filtering; hierarchical and Graph-Based Models, Analysis and Segmentation; discrete geometry - models, transforms, and visualization; learning based morphology to Mathematical Morphology; and distance transform.The book also contains 3 invited keynote papers.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

This book constitutes the proceedings of the 20th International Conference of the International Graphonomics Society, IGS 2021/2022. Originally planned to be celebrated in September 2021, due to the COVID-19 pandemic it was held in June 2022.The 36 full and 3 short papers presented at the conference were carefully reviewed and selected from 41 submissions and reviewed by a committee of 67 reviewers. Out of the 41 conferences, 26 papers were selected to be published in this proceedings. The program was comprised of 6 oral sessions on the following topics: historical documents, forensic handwriting examinations, handwriting learning and development, and motor control. One additional poster session included papers on all previous topics, and three special sessions included papers on neurodegenerative disorders.

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures.

This book constitutes the refereed proceedings of the 13th International Conference on Social Informatics, SocInfo 2022, which took place in Glasgow, UK, during October 19-21, 2022. The 22 full papers, 8 short papers, and 4 late breaking papers included in this book were carefully reviewed and selected from 102 submissions. The deal with topics ranging from information-system design on social concepts to analyzing complex social systems using computational methods or explore socio-technical techniques using social sciences methods. 

The 4-volume set LNCS 13534, 13535, 13536 and 13537 constitutes the refereed proceedings of the 5th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2022, held in Shenzhen, China, in November 2022.The 233 full papers presented were carefully reviewed and selected from 564 submissions. The papers have been organized in the following topical sections: Theories and Feature Extraction; Machine learning, Multimedia and Multimodal; Optimization and Neural Network and Deep Learning; Biomedical Image Processing and Analysis; Pattern Classification and Clustering; 3D Computer Vision and Reconstruction, Robots and Autonomous Driving; Recognition, Remote Sensing; Vision Analysis and Understanding; Image Processing and Low-level Vision; Object Detection, Segmentation and Tracking.

This book constitutes the refereed proceedings of the 15th International Conference on Scalable Uncertainty Management, SUM 2022, which was held in Paris, France, in October 2022.The 19 full and 4 short papers presented in this volume were carefully reviewed and selected from 25 submissions. Besides that, the book also contains 3 abstracts of invited talks and 2 tutorial papers. The conference aims to gather researchers with a common interest in managing and analyzing imperfect information from a wide range of fields, such as artificial intelligence and machine learning, databases, information retrieval and data mining, the semantic web and risk analysis.The chapter "e;Defining and Enforcing Descriptive Accuracy in Explanations: the Case of Probabilistic Classifiers"e; is licensed under the terms of the Creative Commons Attribution 4.0 International License.

This book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022. The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; Quality, Longevity and Reuse.

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regular papers presented were carefully reviewed and selected from a total of 60 submissions. The conference program included a Master Class on the topic "e;Bridging the Gap between Machine Learning and Optimization"e;.

This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International Workshop on Approximation and Online Algorithms, WAOA 2022, which was colocated with ALGO 2022 and took place in Potsdam, Germany, in September 2022.The 12 papers included in these proceedings were carefully reviewed and selected from21 submissions. They focus on topics such as graph algorithms, network design, algorithmic game theory, approximation and online algorithms, etc.

This book constitutes revised selected papers from the proceedings of the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022.The 32 full papers and 4 short papers included in this book were carefully reviewed andselected from 159 submissions. They were organized in topical sections as follows: tokenomics; MPC (mostly); privacy; ZKP; old-school consensus; mostly payment networks; incentives; not proof of work; performance; measurements.

This book constitutes the refereed proceedings of the 4th Multidisciplinary International Symposium on Disinformation in Open Online Media, MISDOOM 2022, held in October 2022. The 7 full papers and 3 short papers were carefully reviewed and selected from 17 full/short paper submissions. The papers focus on health and climate change misinformation, social bots and comment moderation, information seeking and diffusion, misinformation detection, and user perception-based trust models.

This book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.The 37 full papers in this book were reviewed and selected from 67 submissions. Another 10 demonstrations papers were selected from 11 submissions are presented here as short papers. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

This book LNCS 13547 constitutes the proceedings of the 14th International Symposium on Cyberspace Safety and Security, CSS 2022, held in Xi'an, China, in October 2022.The 26 revised full papers presented were carefully reviewed and selected from 104 initial submissions. The papers focus on Cyberspace Safety and Security, such as authentication, access control, availability, integrity, privacy, confidentiality, dependability and sustainability issues of cyberspace.