Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.

This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1-3, 2022.  The 8 full papers included in this book were carefully reviewed and selected from 12 submissions. They deal with emerging technologies for computer arithmetic focusing on the demands of both AI and high-performance computing. 

This book constitutes the proceedings of the 19th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2022, held in Cagliari, Italy, in June - July 2021. The 10 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 39 submissions. 

The LNCS volume 13269 constitutes the proceedings of the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, which will take place in a hybrid mode in Rome, Italy in June 2022. The 44 full papers together with 5 short papers presented in this proceeding were carefully reviewed and selected from a total of 185 submissions. They were organized in topical sections as follows: Encryption, Attacks, Cryptographic Protocols, System Security., Cryptographic Primitives, MPC, Blockchain, Block-Cyphers, and Post-Quantum Cryptography.

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions.  They were organized in topical sections named: Reversible and Quantum Circuits;  Applications of quantum Computing; Foundations and Applications.

This book constitutes the refereed proceedings of the 15th International Conference on Blended Learning, ICBL 2022, held in Hong Kong, China, in August 2022. The 31 papers presented in this volume were carefully reviewed and selected from 80 submissions. The conference theme of ICBL 2022 is Blended Learning: Engaging Students in the New Era. The papers are organized in topical sections named: Game-based Learning and Augmented Learning Environment; Computer Supported Collaborative Learning; Enriching Learning Experience with Blended and Online Learning; Content Development and Practice for Blended Learning and Beyond.

This book constitutes the refereed proceedings of the 18th International Conference on Web and Internet Economics, WINE 2022, which was held  Troy, NY, USA in December 2022.The 19 full papers presented together with 19 abstracts in this volume were carefully reviewed and selected from 126 submissions. They were organized in topical sections as follows: theoretical computer science, artificial intelligence, economics, operations research, and applied mathematics.

This book constitutes the refereed proceedings of the 35th Australasian Joint Conference on Artificial Intelligence, AI 2022, which took place in Perth, WA, Australia, in December 5-8, 2022. The 56 full papers included in this book were carefully reviewed and selected from 90 submissions. They were organized in topical sections as follows: Computer Vision; Deep Learning; Ethical/Explainable AI; Genetic Algorithms; Knowledge Representation and NLP; Machine Learning; Medical AI; Optimization; and Reinforcement Learning.

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 

This book constitutes the refereed proceedings of the 15th International Conference on Interactive Digital Storytelling, ICIDS 2022, held in Santa Cruz, CA, USA, in December 2022.The 30 full papers and 10 short papers, presented together with 17 posters and demos, were carefully reviewed and selected from 79 submissions.

This book constitutes the refereed proceedings of the 24th International Conference on Asia-Pacific Digital Libraries, ICADL 2022, which was held in November/December 2022. The 14 full, 18 short, and 12 poster papers presented in this volume were carefully reviewed and selected from 78 submissions. Based on significant contributions, the full and short papers have been classified into the following topics: intelligent document analysis; neural-based knowledge extraction; knowledge discovery for enhancing collaboration; smart search and annotation; cultural data collection and analysis; scholarly data processing; data archive and management; research activities and digital library; and trends in digital library.  

This book constitutes the refereed proceedings of the 18th International Conference on Frontiers in Handwriting Recognition, ICFHR 2022, which took place in Hyderabad, India, during December 4-7, 2022.The 36 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 61 submissions. The contributions were organized in topical sections as follows: Historical Document Processing; Signature Verification and Writer Identification; Symbol and Graphics Recognition; Handwriting Recognition and Understanding; Handwriting Datasets and Synthetic Handwriting Generation; Document Analysis and Processing.

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.