Bøker i Lecture Notes in Computer Science-serien

This seven-volume set LNCS 14054-14060 constitutes the proceedings of the 25th International Conference, HCI International 2023, in Copenhagen, Denmark, in July 2023. For the HCCII 2023 proceedings, a total of 1578 papers and 396 posters was carefully reviewed and selected from 7472 submissions. Additionally, 267 papers and 133 posters are included in the volumes of the proceedings published after the conference, as ¿Late Breaking Work¿.These papers were organized in the following topical sections: HCI Design and User Experience; Cognitive Engineering and Augmented Cognition; Cultural Issues in Design; Technologies for the Aging Population; Accessibility and Design for All; Designing for Health and Wellbeing; Information Design, Visualization, Decision-making and Collaboration; Social Media, Creative Industries and Cultural Digital Experiences; Digital Human Modeling, Ergonomics and Safety; HCI in Automated Vehicles and Intelligent Transportation; Sustainable GreenSmart Cities and Smart Industry; eXtended Reality Interactions; Gaming and Gamification Experiences; Interacting with Artificial Intelligence; Security, Privacy, Trust and Ethics; Learning Technologies and Learning Experiences; eCommerce, Digital Marketing and eFinance.

This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Évora, Portugal, during November 22¿24, 2023.The 45 full papers and 4 short papers presented in this book were carefully reviewed and selected from 77 submissions. IDEAL 2023 is focusing on big data challenges, machine learning, deep learning, data mining, information retrieval and management, bio-/neuro-informatics, bio-inspired models, agents and hybrid intelligent systems, and real-world applications of intelligence techniques and AI.The papers are organized in the following topical sections: main track; special session on federated learning and (pre) aggregation in machine learning; special session on intelligent techniques for real-world applications of renewable energy and green transport; and special session on data selection in machine learning.

The LNCS volume constitutes the refereed proceedings of 10th International Conference, PReMI 2023, in Kolkata, India, in December 2023. The 91 full papers, presented together with abstracts of 6 keynote and invited talks, were carefully reviewed and selected from more than 300 submissions. The conference presents topics covering different aspects of pattern recognition and machine intelligence with real life state-of-the-art applications.

This book constitutes the refereed proceedings of the 5th Multidisciplinary International Symposium on Disinformation in Open Online Media, MISDOOM 2023, which was held in Amsterdam, The Netherlands, during November 21¿22, 2023.The 13 full papers presented in this book were carefully reviewed and selected from 19 submissions. The papers focus on misinformation, disinformation, hate speech, disinformation campaigns, social network analysis, large language models, generative AI, and multi-modal embeddings.

This book constitutes the proceedings of the 19th IMA International Conference, IMACC 2023, held in London, UK, during December 12¿14, 2023The 14 full papers included in this volume were carefully reviewed and selected from 36 submissions. This volume presents cutting-edge results in a variety of areas, including coding theory, symmetric cryptography, zeroknowledge protocols, digital signature schemes and extensions, post-quantum cryptography and cryptography in practice.

This book constitutes the refereed proceedings of the 34th Australasian Database Conference on Databases Theory and Applications, ADC 2023, held in Melbourne, VIC, Australia, during November 1-3, 2023.The 26 full papers presented in this volume are carefully reviewed and selected from 41 submissions. They were organized in topical sections named: Mining Complex Types of Data, Natural Language Processing and Text Analysis, Machine Learning and Computer Vision, Database Systems and Data Storage, Data Quality and Fairness for Graphs and Graph Mining and Graph Algorithms.

This book constitutes the proceedings of the 28th Nordic Conference, NordSec 2023, held in Oslo, Norway, during November 16¿17, 2023.The 18 full papers included in this volume were carefully reviewed and selected from 55 submissions. This volume focuses on a broad range of topics within IT security and privacy.

This book constitutes the proceedings of the 5th International Conference, AsiaHaptics 2022, in Beijing, China, in November 2022.The 17 full papers included in this volume were carefully reviewed and selected from 46 submissions. The conference presents the latest developments of haptic hardware in education, culture, tourism, medicine, elderly care and disability assistance.

This book constitutes the refereed proceedings of the 5th Iberoamerican Conference and 4th Indo-American Conference on Knowledge Graphs and Semantic Web, KGSWC 2023, held jointly in Zaragoza, Spain, during November 13¿15, 2023.The 18 full and 2 short papers presented were carefully reviewed and selected from 50 submissions. They focus on the following topics: knowledge representation; natural language processing/text mining; and machine/deep learning research.

This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 11 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 45 submissions. The conference covers a wide range of embedded systems design aspects, including machine learning accelerators, and power management and programmable dataflow systems.

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.

This book constitutes the proceedings of the International Conference on Web-Based Learning, ICWL 2023, in Sydney, NSW, Australia, in November 2023.The 9 full papers together with 7 short papers included in this volume were carefully reviewed and selected from 23 submissions. The conference focuses on subjects such as Semantic Web for E-Learning, through Learning Analytics, Computer-Supported Collaborative Learning, Assessment, Pedagogical Issues, E-learning Platforms, and Tools, to Mobile Learning.

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26¿29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.

This book constitutes the refereed proceedings of the 22nd IFIP TC 14 International Conference on Entertainment Computing, ICEC 2023, which was held in Bologna, Italy, during November 15¿17, 2023.The 13 full papers, 5 short papers, 8 work-in-progress papers, 7 interactive entertainment demonstrations, 2 student competition papers, 5 workshop papers and tutorials, and 10 papers from a special section on aesthetics and empowerment were carefully reviewed and selected from 85 submissions. They cover a large range of topics in the following thematic areas: Game Experience; Player Engagement and Analysis; Serious Gameplay; Entertainment Methods and Tools; Extended Reality; Game Design; Interactive Entertainment; Student Game Competition; Workshops and Tutorials; and Aesthetics and Empowerment. .

This volume comprises the proceedings of the International Workshop, ShapeMI 2023, which took place alongside MICCAI 2023 on October 8, 2023, in Vancouver, British Columbia, Canada.The 23 selected full papers deal with all aspects of leading methods and applications for advanced shape analysis and geometric learning in medical imaging.

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023 The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions. The workshop presents papers with topics such as security and privacy, trust models, security services, authentication, identity management, systems security, distributed systems security, privacy-preserving protocols.

This book constitutes the refereed proceedings of the 11th International Conference on Code-Based Cryptography, CBCrypto 2023, held in Lyon, France, during April 22¿23, 2023. The 8 full papers included in this book were carefully reviewed and selected from 28 submissions. The conference offers a wide range of many important aspects of code-based cryptography such as cryptanalysis of existing schemes, the proposal of new cryptographic systems and protocols as well as improved decoding algorithms.

This book constitutes the refereed proceedings of the 16th International Conference on Similarity Search and Applications, SISAP 2023, held in A Coruña, Spain, during October 9¿11, 2023.The 16 full papers and 4 short papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: similarity queries, similarity measures, indexing and retrieval, data management, feature extraction, intrinsic dimensionality, efficient algorithms, similarity in machine learning and data mining.

This book constitutes the proceedings of the First International Conference on Complex Computational Ecosystems, CCE 2023, held in Baku, Azerbaijan, during April 25¿27, 2023. The 16 full papers and the 4 keynote abstracts included in this volume were carefully reviewed and selected from 46 submissions. They explore trans-disciplinary challenges that crossed theoretical questions with empirical observations of multi-level and multi-modal computational ecosystems.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023.The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as agency; argumentation and agreement; beliefrepresentation; probability and uncertainty; belief revision and belief merging; knowledgeand action; dynamics of informational attitudes; intentions, plans, and goals; decisionmaking and planning; preference and utility; cooperation; strategic reasoning andgame theory; epistemology; social choice; social interaction; speech acts; knowledgerepresentation; norms and normative systems; natural language; rationality; philosophicallogic.