Search

The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29–July 4, 2024. The 24 full papers, 10 full papers in 2 special sessions and 4 poster session included in this book were carefully reviewed and selected from 57 submissions. This SAMOS 2024 covers the topics systems themselves - through their applications; architectures; and underlying processors - or methods created to automate their design.

The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024. The 43 full papers presented in these two volumes were carefully reviewed and selected from 95 submissions. The papers are organized in the following topical sections: Part I: Supercomputer Simulation; HPC, BigData, AI: Algorithms, Technologies, Evaluation Part II: Distributed Computing; HPC Education.

The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024. The 43 full papers presented in these two volumes were carefully reviewed and selected from 95 submissions. The papers are organized in the following topical sections: Part I: Supercomputer Simulation; HPC, BigData, AI: Algorithms, Technologies, Evaluation Part II: Distributed Computing; HPC Education.

The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23–25, 2024. The 42 full papers presented here were carefully reviewed and selected from 97 submissions. The papers are organized in the following topical sections: Part I - Artificial Intelligence. Part II - Optimization; Simulation; Applications.

This book constitutes the refereed proceedings of the 7th EAI International Conference on Smart Grid and Internet of Things, SGIoT 2023, held in TaiChung, Taiwan, in November 18-19, 2023The 15 regular papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in subject areas as follows: IoT, communication security, data mining and big data; WLAN, wireless internet and 5G; protocol, algorithm, services and applications.

This book constitutes of the revised selected papers presented at the CCF 17th International Conference on Service Science, ICSS 2024, held in Hong Kong, China, in May 11–12, 2024. The 12 full papers and 2 short papers presented here were carefully reviewed and selected from 21 submissions. These papers have been categorized into the following sections: Cloud service and Edge service; Knowledge-inspired service; Trustworthy services & Service application.

This book constitutes the revised selected papers of the 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023The 29 full papers included in this volume were carefully reviewed and selected from 52 submissions. The papers focus on the following topics: Design Issues & BlockChain, Query Processing and Visualization, Learning Issues, Services and Systems, Business and Communication Technologies, Digital Twin and Security, Architecture Technologies, Time and Text Management.

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2023, held in Flic en Flac, Mauritius, in September 16-17, 2023. The 25 papers presented were selected from 73 submissions and issue different problems in underserved and unserved areas. They face problems in almost all sectors such as energy, water, communication, climate change, food, education, transportation, social development, and economic growth. The papers are clustered in tracks as follows: Intelligent Systems and Security; Blockchain and Machine Learning Algorithms; Sustainable Technologies and Environmental Impact; Digital Learning and Social Adoption; Networking Technology for Social Impact.

This book constitutes the refereed proceedings of the workshops held in conjunction with the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in November 2024. For the conference, including the workshops, a total of 33 submissions has been received. This volume includes 5 workshop papers and 3 poster papers. They have been organized in the following topical sections: IFIP IoT'24 Posters Session; GRAAL4IoT'24: First International Workshop on the Design, Verification, and Validation of IoT Systems and STAND4IoT'24: First International Workshop on IoT Standards.

This book constitutes the refereed proceedings of the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in November 2024.737 The 13 full papers and 4 short papers presented were carefully reviewed and selected from a total of 28 submissions to the main conference. They were organized in topical sections as follows: Hardware/Software Solutions for IoT and CPS; Electronics and Signal Processing for IoT ; Networking and Communications Technology for IoT; Artificial Intelligence and Machine Learning Technologies for IoT; Cyber Security/Privacy/Trust for IoT and CPS and IoT or CPS Applications and Use cases.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.

This book constitutes the refereed post-conference proceedings of the 13th International Conference on Big Data Technologies and Applications, BDTA 2023, held in Edinburgh, United Kingdom, in August 2023. The 8 full papers and 3 short papers of BDTA 2023 were selected from 23 submissions and present new advances and research results in the fields of big data technologies, collection and storage, big data management and retrieval, big data mining and approaches.

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.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

This book constitutes the refereed post proceedings of the 18th International Conference on Parallel Computational Technologies, PCT 2024, held in Chelyabinsk, Russia, in April 2024. The 22 full papers included in this book were carefully reviewed and selected from 62 submissions. These papers have been organized under the following topical sections: High Performance Architectures, Tools and Technologies; Parallel Numerical Algorithms and Supercomputer Simulation.

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)

This book constitutes the refereed proceedings of the 24th International Conference on Innovations for Community Services, I4CS 2024, held in Maastricht, The Netherlands, during June 12–14, 2024. The 17 full papers and 5 short papers presented in this book were carefully reviewed and selected from 44 submissions. They cover a variety of topics, including Quantum Computing, Pervasive Computing, Information Analysis, Graphs and Routing, Secure Applications, Information Security in Supply Chains, Blockchain and Digital Sovereignty.

This book constitutes the proceedings of the 7th International Symposium, SDLT 2023, held in Brisbane, QLD, Australia, during November 30 – December 1, 2023.The 8 full papers and the short paper included in this volume were carefully reviewed and selected from 32 submissions. The volume focuses on current systems and new solutions to create a scientific background for a solid development of innovative Distributed Ledger Technology application.

The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical sections: supercomputer simulation; distributed computing; and HPC, BigData, AI: algorithms, technologies, evaluation.

The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical sections: supercomputer simulation; distributed computing; and HPC, BigData, AI: algorithms, technologies, evaluation.

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023. The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows: Applications and System Development and Modeling Languages, Tools and Architectures.

This book constitutes the revised selected papers of the 6th Ibero-American Congress on Smart Cities, ICSC-Cities 2023, held in Mexico City and Cuernavaca, Mexico, during November 13–17, 2023. The 19 full papers included in this book were carefully reviewed and selected from 94 submissions. They were organized in topical sections as follows: Urban Informatics for Smart Cities; Optimization, Smart Industry, and Smart Public Services; Internet of Things; Computational Intelligence and Urban Informatics for Smart Cities and Innovative Informatic Approaches for Smart Cities.

This book constitutes the refereed post proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, held in Rome, Italy, during July 10–12, 2023. The 7 full papers included in this book were carefully reviewed and selected from 129 submissions. They focus on Software Engineering and Systems Development; Software Systems and Applications; and Foundational and Trigger Technologies.

The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023, held in Corfu Island, Greece, during October 4-6, 2023.The 72 full papers presented in these proceedings were carefully reviewed and selected from 176 submissions. The papers are organized in the following topical sections:Volume I : Collaborative Computing, Edge Computing & Collaborative working, Blockchain applications, Code Search and Completion, Edge Computing Scheduling and Offloading.Volume II: Deep Learning and Application, Graph Computing, Security and Privacy Protection and Processing and Recognition.Volume III: Onsite Session Day2, Federated learning and application, Collaborative working, Edge Computing and Prediction, Optimization and Applications.

The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023, held in Corfu Island, Greece, during October 4-6, 2023.The 72 full papers presented in these proceedings were carefully reviewed and selected from 176 submissions. The papers are organized in the following topical sections:Volume I : Collaborative Computing, Edge Computing & Collaborative working, Blockchain applications, Code Search and Completion, Edge Computing Scheduling and Offloading.Volume II: Deep Learning and Application, Graph Computing, Security and Privacy Protection and Processing and Recognition.Volume III: Onsite Session Day2, Federated learning and application, Collaborative working, Edge Computing and Prediction, Optimization and Applications.

The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023, held in Corfu Island, Greece, during October 4-6, 2023.The 72 full papers presented in these proceedings were carefully reviewed and selected from 176 submissions. The papers are organized in the following topical sections:Volume I : Collaborative Computing, Edge Computing & Collaborative working, Blockchain applications, Code Search and Completion, Edge Computing Scheduling and Offloading.Volume II: Deep Learning and Application, Graph Computing, Security and Privacy Protection and Processing and Recognition.Volume III: Onsite Session Day2, Federated learning and application, Collaborative working, Edge Computing and Prediction, Optimization and Applications.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. This volume, Part I, contains the proceedings of the Colloquium in honor of Rocco De Nicola's 70th birthday, held jointly with the ISOLA 2024's track on REoCAS (Rigorous Engineering of Collective Adaptive Systems). Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification. The Colloquium features one homage paper and 23 contributions from invited authors who reflected upon these developments within the context of Rocco's much broader legacy in concurrency theory, distributed systems, domain-specific languages, service-oriented computing, and formal methods, exploring his recent contributions to cybersecurity.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024. The 55 papers included in these proceedings were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Part I: SPI and Emerging and Multidisciplinary Approaches to Software Engineering; SPI and Functional Safety and Cybersecurity; SPI and Standards and Safety and Security Norms; Part II: Sustainability and Life Cycle Challenges; SPI and Recent Innovations; Digitalisation of Industry, Infrastructure and E-Mobility; SPI and Agile; SPI and Good/Bad SPI Practices in Improvement.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers and 2 short papers presented were carefully reviewed and selected from 13 submissions. The presented research and technical works cover system-level design methods, algorithms, verification and validation techniques, estimation of system properties and characteristics, performance analysis, and real-time systems design. Also, the book presents industrial and real-world application case studies that discuss the challenges and realizations of modern embedded systems, especially when it comes to including artificial intelligence algorithms and techniques in embedded systems.

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification..

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 two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.The 47 full papers presented were carefully reviewed and selected from 100 submissions. The papers are organized according to the following topical sections: SPI and emerging and multidisciplinary approaches to software engineering; digitalisation of industry, infrastructure and e-mobility; SPI and good/bad SPI practices in improvement; SPI and functional safety and cybersecurity; SPI and agile; SPI and standards and safety and security norms; sustainability and life cycle challenges; SPI and recent innovations; virtual reality and augmented reality.

The book Large-Scale Agile Frameworks provides practical solutions for cross-team and cross-functional prioritization of requirements and documentation for enterprises. It reflects the interplay of current technology trends such as cloud computing and organizational requirements for microservices. Organizations are increasingly required to align their IT strategy with customer needs for customer-centric and service-oriented products and services. The book analyzes the unique requirements of a differentiated software service offering and shows how agile principles are effective in addressing these issues. The book also highlights the importance of large-scale agile development and provides guidance to organizations on how to transform their structure towards agile prioritization. The book covers various appropriate models, methodologies, and agile tools and provides recommendations for cross-functional prioritization of requirements. It also considers the need for IT security and shows how it can be integrated into the overall agile development process.

This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11–13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.

This volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. The workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events:First International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022)PhD Symposium of ESOCC 2022ESOCC 2022 Projects TrackESOCC 2022 Industrial Track

This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023. With the globalization of trade and transportation and the consequent multi-modal solutions used, additional challenges are faced by organizations and countries. Intelligent Transport Systems make transport safer, more efficient, and more sustainable by applying information and communication technologies to all transportation modes. The 14 full papers included in this book were carefully reviewed and selected from 39 submissions and are organized in three thematic sessions on transportation; smart cities and blockchain; networks.

This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023.The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.

This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.The 47 full papers presented were carefully reviewed and selected from 100 submissions. The papers are organized according to the following topical sections: SPI and emerging and multidisciplinary approaches to software engineering; digitalisation of industry, infrastructure and e-mobility; SPI and good/bad SPI practices in improvement; SPI and functional safety and cybersecurity; SPI and agile; SPI and standards and safety and security norms; sustainability and life cycle challenges; SPI and recent innovations; virtual reality and augmented reality.

This book constitutes selected papers presented at the 16th International Conference on Service Science, ICSS 2023, held in Harbin, China, in May 2023. The 36 full papers and 2 short papers presented were thoroughly reviewed and selected from the 71 submissions. They are organized in the following topical sections: serverless edge computing; edge services reliability; intelligent services; service application; knowledge-inspired service; service ecosystem; graph-based service optimization; AI-inspired service optimization.