Bücher der Reihe Lecture Notes in Computer Science

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 volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

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 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches.The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.

This book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023.The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS ¿ 4th International Workshop on Conceptual Modeling for Life Sciences;CMOMM4FAIR ¿ Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data;EmpER ¿ 6th International Workshop on Empirical Methodsin Conceptual Modeling;JUSMOD ¿ Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling;OntoCom ¿ 9th International Workshop on Ontologies and Conceptual Modeling;QUAMES ¿ 4th International Workshop on Quality and Measurement of Model-Driven Software Development;SmartFood ¿ First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems.

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.

This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan.The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing.

This book constitutes the refereed proceedings of the ¿Second Workshop on Artificial Intelligence over Infrared Images for Medical Applications, AIIIMA 2023 held in conjunction with MICCAI 2023, held in Vancouver, BC, Canada, on October 2, 2023. The 10 full papers presented in this book were carefully peer reviewed and selected from 15 submissions. The second workshop on AIIIMA, similarily to the first, aimes to create a forum to discuss the specific sub-topic of AI over Infrared Images for Medical Applications at MICCAI and promote this novel area of research, that has the potential to hugely impact our society, among the research community.