Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the proceedings of the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16, 2023. The 36 full papers included in these proceedings were selected from 161 submissions. They were organized in topical sections as follows: Cyber-human and cyber-physical systems; requirements engineering; IoT; environmental applications; process mining; event-driven process mining; ontology and knowledge representation; model-driven approaches; process monitoring; conformance, compliance and workarounds; data-centric approaches; privacy and security; explainable AI; service-related approaches.

This book constitutes the proceedings of the 28th International Conference on Information Processing in Medical Imaging, IPMI 2023, which took place in San Carlos de Bariloche, Argentina, in June 2023.The 63 full papers presented in this volume were carefully reviewed and selected from 169 submissions. They were organized in topical sections as follows: biomarkers; brain connectomics; computer-aided diagnosis/surgery; domain adaptation; geometric deep learning; groupwise atlasing; harmonization; federated learning; image synthesis; image enhancement; multimodal learning; registration; segmentation; self supervised learning; surface analysis and segmentation.

This volume LNCS 13912 constitutes the refereed proceedings of the 20th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2023, in June 12-13, 2023 in Quebec City, QC, Canada. The 9 full papers presented together with 2 short papers were carefully reviewed and selected from 14 submissions. The conference focuses on topics such as Sensors Networks and Data Steaming; Mobility and Navigation; AI for Mobility Data Analytics; Volunteered Geographic information (VGI); Network Analysis and Geovisualization.

This book constitutes the refereed proceedings of the 34th International Workshop on Combinatorial Algorithms, IWOCA 2023, held in Tainan, Taiwan, during June 7¿10, 2023. The 33 full papers included in this book were carefully reviewed and selected from 86 submissions. They were organized in topical sections as follows: algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawing and graph labelling; network theoryand temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic and randomized algorithms; and streaming algorithms.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

This book constitutes the refereed proceedings of the 7th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2023, held in Be'er Sheva, Israel, in June 2023.The 21 full and 15 short papers were carefully reviewed and selected from 70 submissions. They deal with the theory, design, analysis, implementation, and application of cyber security, cryptography and machine learning systems and networks, and conceptually innovative topics in these research areas.

This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6¿8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: ¿Artificial Intelligence for End-Users; Internet of Things for End-Users; Privacy; Security and Society; Supporting End-User Development.

This book constitutes the proceedings of the 20th International Conference on Unconventional Computation and Natural Computation, UCNC 2023, held in Jacksonville, FL, USA, in March 13¿17, 2023. The UCNC conference series covers fundamental research on computation beyond the standard Turing model, including computational models and methods inspired by nature, and the computational properties of natural processes.

This book constitutes two challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore during September 18-22, 2022. The peer-reviewed 20 long and 5 short papers included in this volume stem from the following three biomedical image analysis challenges: Mitosis Domain Generalization Challenge (MIDOG 2022), Diabetic Retinopathy Analysis Challenge (CRAC 2022)The challenges share the need for developing and fairly evaluating algorithms that increase accuracy, reproducibility and efficiency of automated image analysis in clinically relevant applications.

This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023.The 14 full papers, including one invited presentation as a full paper, presented in this volume were carefully reviewed and selected from 16 submissions. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.

This volume constitutes the proceedings of the 9th International Conference on Variable Neighborhood Search, ICVNS 2023, held in Abu Dhabi, United Arab Emirates, in October 2022.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers describe recent advances in methods and applications of variable neighborhood search.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.

This book constitutes the refereed proceedings of the International Conference on Computers and Games, CG 2022, held virtually, during November 22¿24, 2022.The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: ¿classic games, multi-player and multi-action games, solving games, measuring games, decision making in games and puzzles.

This book constitutes the proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, held in Nice, France, during May 29¿June 1, 2023. The 26 full papers and the 6 short papers presented in this book were carefully reviewed and selected from a total of 71 submissions. The content of the papers present new techniques or new applications, and provide an opportunity for researchers in one area to learn about techniques in the others. Besides they give researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

This book constitutes the refereed conference proceedings of the 21st International Conference on Web-Based Learning, ICWL 2022 and 7th International Symposium on Emerging Technologies for Education, SETE 2022, held in Tenerife, Spain in November 21¿23, 2022. The 45 full papers and 5 short papers included in this book were carefully reviewed and selected from 82 submissions. The topics proposed in the ICWL&SETE Call for Papers included several relevant issues, ranging from Semantic Web for E-Learning, through Learning Analytics, Computer-Supported Collaborative Learning, Assessment, Pedagogical Issues, E-learning Platforms, and Tools, to Mobile Learning.In addition to regular papers, ICWL&SETE 2022 also featured a set of special workshops and tracks: The 5th International Workshop on Educational Technology for Language Learning (ETLL 2022), The 6th International Symposium on User Modeling and Language Learning (UMLL 2022), Digitalization in Language and Cross-Cultural Education, First Workshop on Hardware and software systems as enablers for lifelong learning (HASSELL).

This book constitutes the refereed proceedings of the 20th International Conference onThe Semantic Web, ESWC 2023, held in Hersonissos, Crete, Greece, during May 28¿June 1, 2023.The 41 full papers included in this book were carefully reviewed and selected from 167 submissions. They are organized in topical sections as follows: research, resource and in-use.

This book constitutes the refereed proceedings of the 24th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2023, held in Madison, WI, USA, during June 21¿23, 2023.The 33 full papers presented were carefully reviewed and selected from 119 submissions. IPCO is under the auspices of the Mathematical Optimization Society, and it is an important forum for presenting present recent developments in theory, computation, and applications. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.The 6 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Cloud-Based Urban Mobility Services; New Results in Priority-Based Bin Packing; More Sparking Soundex-based Privacy-Preserving Record Linkage and Privacy Preserving Queries of Shortest Path Distances.

This book constitutes the refereed proceedings of the 15th Mexican Conference on Pattern Recognition, MCPR 2023, held in Tepic, Mexico, during June 21¿24, 2023.The 30 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers are divided into the following topical sections: pattern recognition and machine learning techniques; deep learning and neural networks; medical applications of pattern recognition; language processing and recognition; and industrial applications of pattern recognition.

This book constitutes the refereed proceedings of the 19th International Conference on Augmented Intelligence and Intelligent Tutoring Systems, ITS 2023, held in Corfu, Greece, during June 2-5, 2023.The 41 full papers and 19 short papers presented in this book were carefully reviewed and selected from 84 submissions. The papers are divided into the following topical sections: augmented intelligence in tutoring systems; augmented intelligence in healthcare informatics; augmented intelligence in games, serious games and virtual reality; neural networks and data mining; augmented intelligence and metaverse; security, privacy and ethics in augmented intelligence; and applied natural language processing.

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM).He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technologyand the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute.Throughout his career, Manuel has been at the forefront of the fields of logic programming, constraint programming, parallel programming, program analysis, program transformation, and programming environment design. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes.

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Numerical Methods and Applications, NMA 2022, held in Borovets, Bulgaria, in August 2022.The 30 revised regular papers presented were carefully reviewed and selected from 38 submissions for inclusion in this book. The papers are organized in the following topical sections: numerical search and optimization; problem-driven numerical method: motivation and application, numerical methods for fractional diffusion problems; orthogonal polynomials and numerical quadratures; and Monte Carlo and Quasi-Monte Carlo methods.

This book constitutes the proceedings of the 17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, which took place in Sousse, Tunesia, during December 7-9, 2022. The 14full papers and 4 short papers included in this volume were carefully reviewed and selected from 39 submissions. The papers detail security issues in internet-related applications, networks and systems.

This book constitutes the refereed post-conference proceedings of the 14th BenchCouncil International Symposium on Benchmarking, Measuring, and Optimization, Bench 2022, held virtually in November 2022.The 10 revised full papers presented were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections named: Architecture and System, Algorithm and Dataset, Network and Memory.

This book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12¿16, 2023.The 19 contributed papers presented in this book were carefully reviewed and selected from 28 submissions. In addition, the volume also contains 3 invited papers. WORDS is the main conference series devoted to combinatorics on words. This area is connected to several topics from computer science and mathematics, including string algorithms, automated proofs, discrete dynamics, number theory and, of course, classical combinatorics

This Open Access book aims to present practical contributions to the ethics governance framework, the conceptualization and characteristics of ethics tools, as well as the experience gained from their application in different institutions.Its main objective is to provide a practical and useful guide that will help other institutions to start introducing Research Ethics effectively in their organizations. The European initiative ETHNA System has designed an ethics governance framework that can be implemented following specific guidelines and tools that can help different types of institutions to promote and generate responsible research and innovation.The papers included in this book were organized in topical sections as follows: foundations; experiences and lessons learned; ethics tools in practice; and looking into the future: main challenges.