Books in the Lecture Notes in Computer Science series

This book constitutes the First Segmentation of the Aorta Challenge, SEG.A. 2023, which was held in conjunction with the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, on October 8, 2023. The 8 full and 3 short papers presented have been carefully reviewed and selected for inclusion in the book. They focus specifically on robustness, visual quality and meshing of automatically generated segmentations of aortic vessel trees from CT imaging. The challenge was organized as a ¿container submission¿ challenge, where participants had to upload their algorithms to Grand Challenge in the form of Docker containers. Three tasks were created for SEG.A. 2023.

This book constitutes the refereed proceedings of the 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, held in Kanazawa, Japan, during March 18¿20, 2024. The 28 full papers presented in this book, together with two extended abstracts of invited talks, were carefully reviewed and selected from 80 submissions. They cover diverse areas of algorithms and computation, that is, approximation algorithms, algorithmic graph theory and combinatorics, combinatorial algorithms, combinatorial optimization, computational biology, combinatorial reconfiguration, computational complexity, computational geometry, discrete geometry, data structures, experimental algorithm methodologies, graph algorithms, graph drawing, parallel and distributed algorithms, parameterized algorithms, parameterized complexity, network optimization, online algorithms, randomized algorithms, and string algorithms.

This book constitutes the refereed conference proceedings of the 12th International Conference on Computational Data and Social Networks, CSoNet 2023, held in Hanoi, Vietnam, in December 2023.The 23 full papers and 14 short papers presented in this book were carefully reviewed and selected from 64 submissions. The papers are divided into the following topical sections: machine learning and prediction; optimization; security and blockchain; and network analysis.

¿This book constitutes the proceedings of the 14th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2023, as well as the Cardiac MRI Reconstruction Challenge, CMRxRecon Challenge. There was a total of 53 submissions to the workshop. The 24 regular workshop papers included in this volume were carefully reviewed and selected from 29 paper submissions. They deal with cardiac segmentation, modelling, strain quantification, registration, statistical shape analysis, and quality control. In addition, 21 papers from the CMRxRecon challenge are included in this volume. They focus on fast CMR image reconstruction and provide a benchmark dataset that enables the broader research community to promote advances in this area of research.

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

This book constitutes the refereed post-proceedings of the 9th International Conference on Mobile, Secure, and Programmable Networking, MSPN 2023, held in Paris, France, during October 26¿27, 2023.The 15 full papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows vertical tools on machine leaning and artificial intelligence, network programming and Cloud computing, Industrial Internet of things, Digital Twins and Security.

This book constitutes the refereed proceedings of the 8th International Conference on Internet on Things, ICIOT 2023, held as part of SCF 2023, in Shenzhen, China, during December 17¿18, 2023.The 8 full papers presented in this volume were carefully reviewed and selected from 28 submissions. The papers cover topics in the field of sensors and other types of sensing devices, wired and wireless networks, platforms and tools, data processing/visualization/analysis and integration engines.

This book constitutes the refereed conference proceedings of the 11th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2023, held in Auckland, New Zealand, during November 22¿24, 2023.The 34 full papers presented in this book were carefully reviewed and selected from 75 submissions. The main conference focuses on Image and Video Technology, a conference that gathers researchers and practitioners from around the globe to discuss the latest breakthroughs in image and video processing, analysis, and applications.

This book constitutes the refereed proceedings of the 14th BenchCouncil International Symposium on Benchmarking, Measuring, and Optimizing, Bench 2023, held in Sanya, China, during December 3¿5, 2023. The 11 full papers included in this book were carefully reviewed and selected from 20 submissions. The Bench symposium invites papers that exhibit three defining characteristics: (1) It provides a high-quality, single-track forum for presenting results and discussing ideas that further the knowledge and understanding of the benchmark community; (2) It is a multi-disciplinary conference, attracting researchers and practitioners from different communities, including architecture, systems, algorithms, and applications; (3) The program features both invited and contributed talks.

This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17¿18, 2023. The 8 full papers in this book were carefully reviewed and selected from 14 submissions. They were organized in topical sections as follows: Practice of Edge Computing, identify emerging research topics, and define the future of Edge Computing.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15¿16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitutes the refereed proceedings of the 7th International Conference on Cloud Computing, CLOUD 2023, held in Shenzhen, China, during December 17¿18, 2023.The 5 full papers and 3 short papers in this book were carefully reviewed and selected from 13 submissions. The conference facilitates the exploration of emerging research areas and the shaping of the future landscape of cloud computing.

This book constitutes the refereed proceedings of the 20th International Conference on Services Computing, SCC 2023, held in Shenzhen, China, during December 17¿18, 2023.The 6 full papers in this book were carefully reviewed and selected from 18 submissions. They are organized in topical sections as follows: business modeling, business consulting, solution creation, service delivery, and software architecture design, development, and deployment.

This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17¿19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

This volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference, MEDI 2023,in November 2023 ,held in Sousse, Tunisia.The 27 full papers were carefully peer reviewed and selected from 99 submissions. The Annual International Conference on Model and Data Engineering focuses on bring together researchers and practitioners and enabling them to showcase the latest advances in modelling and data management.

This book constitutes the proceedings of the 6th International Conference on Dynamics of Information Systems, DIS 2023, which took place in Prague, Czech Republic, in September 2023. The 18 full papers included in the book were carefully reviewed and selected from 43 submissions. They deal with topics ranging from theoretical, algorithmic, and practical perspectives in information systems, to offering readers valuable information, theories and techniques.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 13 papers presented in this volume have been selected among 81 submitted papers over the years 2019, 2020 and 2021. The ESSLLI Student Session is an excellent venue for students to present their work and receive valuable feedback from renowned experts in their respective fields. The Student Session accepts submissions for three different tracks: Language and Computation (LaCo), Logic and Computation (LoCo), and Logic and Language (LoLa).

This book constitutes the refereed proceedings of the 14th International Conference on Decision and Game Theory for Security, GameSec 2023, held in Avignon, France, during October 18¿20, 2023.The 19 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: Mechanism design and imperfect information, Security Games, Learning in security games, Cyber deception, Economics of security, Information and privacy and Short articles.

This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7¿8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions. The topics of WAOA 2023 were algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, FPT-approximation algorithms, geometric problems, graph algorithms, inapproximability results, mechanism design, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, resource augmentation, and scheduling problems

This book constitutes the refereed proceedings of the 8th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2023, held in Varadero, Cuba, in October 2023. The 68 papers presented in the proceedings set were carefully reviewed and selected from 38 submissions. The IWAIPR conference aims to provide a leading international forum to promote and disseminate ongoing research into mathematical methods of computing techniques for Artifical Intelligence and Pattern Recognition.