Bøker i Lecture Notes in Computer Science-serien

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.

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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 post-conference proceedings of the 28th International Workshop on Security Protocols, held in Cambridge, UK, during March 27¿28, 2023.Thirteen papers out of 23 submissions were selected for publication in this book, presented together with the respective transcripts of discussions. The theme of this year's workshop was ¿Humans in security protocols ¿ are we learning from mistakes?¿The topics covered are securing the human endpoint and proving humans correct.

This book constitutes the refereed proceedings of the 27th International Conference on Enterprise Design, Operations, and Computing, EDOC 2023, held in Groningen, The Netherlands, during October 30¿November 3, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36submissions. They were organized in topical sections as follows: Enterprise Modeling, Enterprise Architecture & Engineering, Model-Based Software Engineering, Enterprise Analysis with Process Mining, Process Improvement & Engineering, and Modeling in an Enterprise Context.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

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 refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18¿20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems.

This book constitutes the refereed proceedings of the 9th Joint International Conference on Serious Games, JCSG 2023, held in Dublin, Ireland, during October 26¿27, 2023.The 18 full papers presented together with 9 short papers and 14 poster papers were carefully reviewed and selected from 53 submissions. They are grouped into the following topics: technology and systems; theoretical and design aspects; health and wellbeing; extended realities; soft and social skills; academic skills; and posters and exhibits.

This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023. The 20 full papers presented together with 3 short papers were carefully reviewed and selected from 71 submissions. The conference focuses on Fundamentals & Cryptographic Primitives; Cryptanalysis; Signature; Encryption; Privacy Preservation; and Blockchain Security.

This book constitutes the refereed proceedings of the 21st International Conference of the International Graphonomics Society on Graphonomics in Human Body Movement, IGS 2023, held in Évora, Portugal, during October 16¿19, 2023.The 12 full papers presented in this book together with one short paper and two invited papers were carefully reviewed and selected from 23 submissions. The conference centers around graphonomics research aimed at comprehending the processes of handwriting acquisition and execution. Moreover, it delves deeper into the impact of the writer's neural, psychological, and biomechanical conditions on the various aspects of handwriting

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 refereed proceedings of the 8th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.The 13 full papers included in this book were carefully reviewed and selected from 16 submissions. They span a wide range of topics relevant to SASHIMI, and reflect recent developments in methods for segmentation, image-to-image translation, super-resolution, and image synthesis. Applications include MRI imaging, echocardiography, PET, and digital pathology.