Bücher der Reihe Lecture Notes in Computer Science

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 proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4¿6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

This book constitutes the refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2¿8, 2023. The 28 full papers and 1 short paper included in this book were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: Mathematical programming and applications; discrete and combinatorial optimization; stochastic optimization; scheduling; game theory; and optimal control and mathematical economics. The book also contains one invited talk in full paper length.

This proceedings, HCI-CPT 2023, constitutes the refereed proceedings of the 5th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark. The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from 7472 submissions. The HCI-CPT 2023 proceedings focuses on to user privacy and data protection, trustworthiness and user experience in cybersecurity, multifaceted authentication methods and tools, HCI in cyber defense and protection, studies on usable security in Intelligent Environments. The conference focused on HCI principles, methods and tools in order to address the numerous and complex threats which put at risk computer-mediated human-activities in today¿s society, which is progressively becoming more intertwined with and dependent on interactive technologies.

This book constitutes the refereed proceedings of the 11th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2023, held in Alicante, Spain, in June 27¿30, 2023. The 56 papers accepted for these proceedings were carefully reviewed and selected from 86 submissions. They deal with Machine Learning, Document Analysis, Computer Vision, 3D Computer Vision, Computer Vision Applications, Medical Imaging & Applications, Machine Learning Applications.

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 12th International Conference on Functional Imaging and Modeling of the Heart, held in Lyon, France, in June 2023.The 72 full papers were carefully reviewed and selected from 80 submissions. The focus of the papers is on following topics: increased imaging resolutions, data explosion, sophistication of computational models and advent of AI frameworks, while new imaging modalities have emerged (e.g. combined PET-MRI, Spectral CT).

This book constitutes the refereed proceedings of the 28th Australasian Conference on Information Security and Privacy, ACISP 2023, held in Brisbane, QLD, Australia, during July 5-7, 2023.The 27 full papers presented were carefully revised and selected from 87 submissions. The papers present and discuss different aspects of symmetric-key cryptography, public-key cryptography, post-quantum cryptography, cryptographic protocols, and system security.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.

This book constitutes the refereed proceedings of the 23rd International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, during June 6-9, 2023.The 18 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 77 submissions. They are organized in topical sections named: architecting the web in the cloud continuum; machine learning for web engineering; IoT and WoT engineering; user privacy engineering; user behaviour characterization; user centered technologies; tools and techniques for advanced web engineering; and web engineering practices and experiences.

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 proceedings of the 20th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2023, held in Hamburg, Germany, in July 2023. The 12 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 43 submissions. The papers are organized in thematical sections named: Side Channels Attacks; Security and Machine Learning; Cyber Physical System Security; Security Issues when Dealing with Users; Analysis of Vulnerable Code; Flow Integrity and Security.

This book constitutes the refereed proceedings of the 31st Annual International Cryptology Conference, CRYPTO 2011, held in Santa Barbara, CA, USA in August 2011. The 42 revised full papers presented were carefully reviewed and selected from 230 submissions. The volume also contains the abstract of one invited talk. The papers are organized in topical sections on randomness and its use; computer-assisted cryptographic proofs; outsourcing and delegatin computation; symmetric cryptanalysis and constructions; secure computation: leakage and side channels; quantum cryptography; lattices and knapsacks; public-key encryption; symmetric schemes; signatures; obilvious transfer and secret sharing; and multivariate and coding-based schemes.

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 the refereed proceedings of the 17th International Conference on Critical Information Infrastructures Security, CRITIS 2022, which took place in Munich, Germany, during September 14¿16, 2022.The 16 full papers and 4 short papers included in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections as follows: protection of cyber-physical systems and industrial control systems (ICS); C(I)IP organization, (strategic) management and legal aspects; human factor, security awareness and crisis management for C(I)IP and critical services; and future, TechWatch and forecast for C(I)IP and critical services.

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2023, held in Lisbon, Portugal, during June 19-23, 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 7 full papers presented in this book were carefully reviewed and selected from 13 submissions. The papers cover the following topics: distributed algorithms and systems; data management; and distributed architectures.