Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 29th International Conference on Cooperative Information Systems, CoopIS 2023, held in Groningen, The Netherlands, during October 30¿November 3, 2023. The 21 regular papers and 10 work-in-progress papers included in this book were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Knowledge Engineering; Deployment and Migration in CISs; Security and Privacy in CISs; Process Modeling; Process Analytics; Human Aspects and Social Interaction in CISs; and Work in Progress.

This book constitutes the refereed proceedings of the 17th International Conference on Learning and Intelligent Optimization, LION-17, held in Nice, France, during June 4¿8, 2023.The 40 full papers presented have been carefully reviewed and selected from 83 submissions. They focus on all aspects of unleashing the potential of integrating machine learning and optimization approaches, including automatic heuristic selection, intelligent restart strategies, predict-then-optimize, Bayesian optimization, and learning to optimize.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).

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 post-conference proceedings of the satellite events held at the 20th Extended Semantic Web Conference, ESWC 2023, held in Hersonissos, Greece, during May 28¿June 1, 2023.The 50 full papers included in this book were carefully reviewed and selected from 109 submissions. They were organized in sections as follows: Posters and Demos, Industry, and PhD Symposium.

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 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.

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 book constitutes the constitutes the refereed proceedings of the 10th IFIP WG 6.12 European Conference on Service-Oriented and Cloud Computing , ESOCC 2023, held in Larnaca, Cyprus, during October 24¿26, 2023. The 12 full papers and 4 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Microservices; Quality of Service; Service Orchestration; Edge Computing; PhD Symposium; and Industry Projects Track.

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 8th International Workshop on Perinatal, Preterm and Paediatric Image Analysis, PIPPI 2023, held in conjunction with the 26th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2023, in Vancouver, Canada, in October 2023.The 10 full papers presented at PIPPI 2023 were carefully reviewed and selected from 14 submissions. PIPPI 2023 workshop complements the main MICCAI conference by providing a focused discussion on the challenges of image analysis techniques as applied to the fetal and infant settings.

This book constitutes the refereed proceedings of the 12th International Workshop on Clinical Image-Based Procedures, CLIP 2023, the First MICCAI Workshop on Fairness of AI in Medical Imaging, FAIMI 2023, and the Second MICCAI Workshop on the Ethical and Philosophical Issues in Medical Imaging, EPIMI 2023, held in conjunction with MICCAI 2023, in October 2023.CLIP 2023 accepted 5 full papers and 3 short papers form 8 submissions received. It focuses on holistic patient models for personalized healthcare with the goal to bring basic research methods closer to the clinical practice.For FAIMI 2023, 19 full papers have been accepted from 20 submissions. They focus on creating awareness about potential fairness issues that can emerge in the context of machine learning. And for EPIMI 2023, 2 papers have been accepted from 5 submissions. They investigate questions that underlie medical imaging research at the most fundamental level.

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.