Böcker i Lecture Notes in Computer Scie-serien

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 book constitutes the proceedings of the International Conference on Big Data Intelligence and Computing, DataCom 2022, which took place in Denarau Island, Fiji, in December 2022. The 30 full papers included in this volume were carefully reviewed and selected from 88 submissions. The papers detail big data analytics solutions, distributed computation paradigms, on-demand services, autonomic systems, and pervasive applications.

This book constitutes the revised selected papers from the 24th International Conference on Information Security Applications, WISA 2023, held in Jeju Island, South Korea, during August 23¿25, 2023.The 25 papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: Cryptography; network and application security; privacy and management; attacks and defenses; post-quantum cryptography and quantum cryptanalysis.

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4¿6, 2023.The 23 full papers and 1 short papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: High Performance Computing and Parallelized Computing, Storage Systems and File Management, Networking and Cloud Computing, Computer Architecture and Hardware Acceleration, Machine Learning and Data Analysis, Distinguished Work from Student Competition.

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology and Network Security, CANS 2023, which was held in October/November 2023 in Augusta, GA, USA.The 25 papers presented were thoroughly revised and selected from the 54 submissions. They are organized in the following topical sections: Schemes I; Basic Primitives; Security; MPC with Cards; Blockchain; MPC and Secret Sharing; Schemes II.

This volume LNCS 14252 constitutes the refereed proceedings of 25th International Conference on Information and Communications Security, ICICS 2023, held in Tianjin, China, during November 18¿20, 2023. The 38 full papers presented together with 6 short papers were carefully reviewed and selected from 181 submissions. The conference focuses on: Symmetric-Key Cryptography; Public-Key Cryptography; Applied Cryptography; Authentication and Authorization; Privacy and Anonymity; Security and Privacy of AI; Blockchain and Cryptocurrencies; and System and Network Security.

This book constitutes the proceedings of the 24th International Conference on Web Information Systems Engineering, WISE 2023, held in Melbourne, Victoria, Australia, in October 2023.The 33 full and 40 short papers were carefully reviewed and selected from 137 submissions. They were organized in topical sections as follows: text and sentiment analysis; question answering and information retrieval; social media and news analysis; security and privacy; web technologies; graph embeddings and link predictions; predictive analysis and machine learning; recommendation systems; natural language processing (NLP) and databases; data analysis and optimization; anomaly and threat detection; streaming data; miscellaneous; explainability and scalability in AI.

This book constitutes the refereed proceedings of the 12th International Conference on Health Information Science, HIS 2023, held in Melbourne, VIC, Australia, during October 23¿24, 2023.The 20 full papers and 9 short papers included in this book were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Depression & Mental Health, Data Security, Privacy & Healthcare Systems, Neurological & Cognitive Disease Studies, COVID-19 Impact Studies, Advanced Medical Data & AI Techniques, Predictive Analysis & Disease Recognition, Medical Imaging & Dataset Exploration, Elderly Care and Knowledge Systems.

This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenhagen, Denmark, in August 2023.The 27 full papers and 8 short papers included in this volume were carefully reviewed and selected from 80 submissions. The main goal of the conference is to promote research on new information security technologies, including their applications and their integration with IT systems in various vertical sectors.