Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 15th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2023, held as part of the 25th International Conference, HCI International 2023, in Copenhagen, Denmark, in July 2023. The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472 submissions.The VAMR 2023 proceedings were organized in the following topical sections: Designing VAMR Applications and Environments; Visualization, Image Rendering and 3D in VAMR; Multimodal Interaction in VAMR; Robots and Avatars in Virtual and Augmented Reality; VAMR in Medicine and Health; VAMR in Aviation; and User Experience in VAMR.

This book constitutes the refereed proceedings and revised selected papers from the 15th International Symposium on Music in the AI Era, CMMR 2021, which took place during November 15¿19, 2021 as a virtual event. The 24 full papers included in this book were carefully reviewed and selected from 48 submissions. The papers are grouped in thematical sessions on Music technology in the IA era; Interactive systems for music; Music Information Retrieval and Modeling; and Music and Performance Analysis.

This book constitutes the refereed proceedings of the 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, held in Derby, UK, in June 21¿23, 2023The 31 full papers and 14 short papers included in this book were carefully reviewed and selected from 89 submissions. They focus on the developments of the application of natural language to databases and information systems in the wider meaning of the term.

This book constitutes the refereed proceedings of the 5th International Conference, AIS 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions.The AIS 2023 proceeding helps to understand the theory and enhance the state-of-practice for a set of technologies (tools and methods) called adaptive instructional systems (AIS). AIS are defined as artificially intelligent, computer-based systems that guide learning experiences by tailoring instruction and recommendations based on the goals, needs, preferences, and interests of each individual learner or team in the context of domain learning objectives.

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

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 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 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 refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26¿27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

This book constitutes the proceedings of the 9th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2023, which took place in Santa Margherita di Pula, Italy, in May 2023. The 57 papers presented in this volume were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Inverse Problems in Imaging; Machine and Deep Learning in Imaging; Optimization for Imaging: Theory and Methods; Scale Space, PDEs, Flow, Motion and Registration.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2021, held as a virtual event due COVID-19, in October 2021.The 30 full papers together with 2 short papers included in the volume were carefully reviewed and selected from 50 submissions. They are organized in the following topical sections: M&S of intelligent systems,  R&D and application; and AxS/AI in context of future warfare and security environment and future challenges of Advance M&S Technology.

This book constitutes revised selected papers from the workshops held at the 28th International European Conference on Parallel and Distributed Computing, Euro-Par 2022, which took place in Glasgow, UK, in August 22¿26, 2022Out of a total of 35 submissions 24 papers have been accepted, 19 of these are included in this book.They stem from the following workshops:- Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar)- Workshop on Asynchronous Many-Task systems for Exascale (AMTE) - Workshop on Domain Specific Languages for High-Performance Computing (DSL-HPC)- Workshop on Distributed and Heterogeneous Programming in C and C++ (DHPCC++)- Workshop on Resiliency in High Performance Computing in Clouds, Grids, and Clusters (Resilience)In addition, the proceedings alsocontains 6 extended abstracts from the PhD Symposium.

This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23¿26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim of the workshop was understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs.

This book constitutes the proceedings of the Workshop Empowering Novel Geometric Algebra for Graphics and Engineering, ENGAGE 2022, held in conjunction with Computer Graphics International conference, CGI 2022, which took place virtually, in September 2022. The 10 full papers included in this volume were carefully reviewed and selected from 12 submissions. The workshop focused specifically on important aspects of geometric algebra including algebraic foundations, digitized transformations, orientation, conic fitting, protein modelling, digital twinning, and multidimensional signal processing.