Bøger i Lecture Notes in Computer Science serien

This book constitutes the refereed proceedings of the 17th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2023), consisting of the 17th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 4th International Joint Conference on Theoretical Computer Science (IJTCS), held in Macau, China, during August 14¿18, 2023.FAW started as the Frontiers of Algorithmic Workshop in 2007 at Lanzhou, China, and was held annually from 2007 to 2021 and published archival proceedings. IJTCS, the International joint theoretical Computer Science Conference, started in 2020, aimed to bring in presentations covering active topics in selected tracks in theoretical computer science. To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and work of enduring value in the field. The 21 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: algorithmic game theory; algorithms and data structures; combinatorial optimization; and computational economics.

This book constitutes the proceedings of the 20th International Conference on Web Information Systems and Applications, WISA 2023, held in Chengdu, China, in September 2023.The 43 full papers and 9 short papers presented in this book were carefully reviewed and selected from 213 submissions. The papers are grouped in topical sections on Data Mining and Knowledge Discovery, Recommender Systems, Natural Language Processing, Security, Privacy and Trust, Blockchain, Parallel and Distributed Systems and Database for Artificial Intelligence..

This book constitutes the refereed proceedings of the 18th International Workshop on Security, IWSEC 2023, which took place as a hybrid event in Yokohama, Japan, during August 29¿31, 2023. This event was held in hybrid mode.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: System and Hardware Security; Symmetric Key Cryptography; Public Key Cryptography; Zero Knowledge Proofs; and Card Based Cryptography.

This volume constitutes the papers of several workshops which were held in conjunction with the 38th International Conference on High Performance Computing, ISC High Performance 2023, held in Hamburg, Germany, during May 21¿25, 2023. The 49 revised full papers presented in this book were carefully reviewed and selected from 70 submissions. ISC High Performance 2023 presents the following workshops: ¿2nd International Workshop on Malleability Techniques Applications in High-Performance Computing (HPCMALL) 18th Workshop on Virtualization in High-Performance Cloud Computing (VHPC 23) HPC I/O in the Data Center (HPC IODC) Workshop on Converged Computing of Cloud, HPC, and Edge (WOCC¿23) 7th International Workshop on In Situ Visualization (WOIV¿23) Workshop on Monitoring and Operational Data Analytics (MODA23) 2nd Workshop on Communication, I/O, and Storage at Scale on Next-Generation Platforms: Scalable Infrastructures First International Workshop on RISC-V for HPC Second Combined Workshop on Interactive and Urgent Supercomputing (CWIUS) HPC on Heterogeneous Hardware (H3)

This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023.The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.

This book constitutes the proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2023, held in Budapest, Hungary, in September 2023, in conjunction with the IFIP WG 8.5 Conference on Electronic Government (EGOV 2023) and the Conference for E-Democracy and Open Government Conference (CeDEM 2023). A total of 38 full papers has been carefully reviewed and selected from 106 submissions. Eight of the accepted papers are included in this book. They were organized in topical sections as follows: E-participation; digital transformation; digital technology; and digital sovereignty.

This book constitutes the refereed proceedings of the 21st International Conference on Business Process Management, BPM 2023, which took place in Utrecht, The Netherlands, in September 2023. The 27 papers included in this book were carefully reviewed and selected from 151 submissions. They were organized in three main research tracks: Foundations, engineering, and management.

This book constitutes the proceedings of the 29th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2023, which took place in Trieste, Italy, in August/September 2023. For AUTOMATA 2023, 7 full papers have been carefully reviewed and selected from 11 submissions. The book also contains 3 full papers from AUTOMATA 2022, which have been selected from a total of 18 submissions. In addition, the proceedings contain one invited talk in full paper length from AUTOMATA 2023.

This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023.The 49 full papers presented in this volume were carefully reviewed and selected from 164 submissions. They are covering the following topics: programming, compilers and performance; scheduling, resource management, cloud, edge computing, and workflows; architectures and accelerators; data analytics, AI, and computational science; theory and algorithms; multidisciplinary, and domain-specific and applied parallel and distributed computing.

This book constitutes the refereed proceedings of the 13th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2023, which took place in Vietri sul Mare, Italy, in September 2023.The 16 full papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections on graph kernels and graph algorithms; graph neural networks; and graph-based representations and applications.

This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023 in Benevento, Italy, during August 28 ¿ September 1, 2023. The 18 full papers presented together were carefully reviewed and selected from 30 submissions. The conference focuses on integrative machine learning approach, considering the importance of data science and visualization for the algorithmic pipeline with a strong emphasis on privacy, data protection, safety and security.

This book constitutes the proceedings of the 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, jointly held in Palma de Mallorca, Spain, during September 4¿8, 2023.The 71 full papers presented in this book were carefully reviewed and selected from 161 submissions. The papers are divided into special sessions on: Interval uncertainty; information fusion techniques based on aggregation functions, preaggregation functions and their generalizations; evaluative linguistic expressions, generalized quantifiers and applications; neural networks under uncertainty and imperfect information; imprecision modeling and management in XAI systems; recent trends in mathematical fuzzy logics; fuzzy graph-based models: theory and application; new frontiers of computational intelligence for pervasive healthcare systems; fuzzy implication functions; and new challenges and ideas in statistical inference and data analysis.

This book constitutes the refereed proceedings of the 29th International Conference on Collaboration Technologies and Social Computing, CollabTech 2023, held in Osaka, Japan, during August 29¿September 1, 2023, in hybrid mode.The 8 full papers presented in this book together with 12 short papers were carefully reviewed and selected from 31 submissions. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science.

This book constitutes the proceedings of the 22nd IFIP WG 8.5 International Conference on Electronic Government, EGOV 2023, which took place in Budapest, Hungary, during September 5¿7, 2023.The 28 full papers included in this book were carefully reviewed and selected from a total of 106 submissions. They were organized in topical sections as follows: Digital government; artificial intelligence, algorithms, and automation; open government and open data; smart cities, regions, and societies; innovation and transformation in government.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Reproducible Research in Pattern Recognition, RRPR 2022, held in Montreal, Canada, in August 2022. The 5 revised full papers presented together with 4 short papers, were carefully reviewed and selected from 9 submissions. The papers were organized into three main categories

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests,and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

This book constitutes the refereed proceedings of the 17th International Conference on Network and System Security, NSS 2023, held in Canterbury, UK, August 14¿16, 2023.The 12 full and 9 short papers presented together with 2 invited talks in this book were carefully reviewed and selected from 64 submissions. They focus on Attacks and Malware, Blockchain, Security through Hardware, Machine learning and much more.

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.

This book constitutes the refereed proceedings of the 14th International Workshop on Post-Quantum Cryptography, PQCrypto 2022, held in College Park, MD, USA, in August 14¿18, 2023.The 25 full papers presented in this book were carefully reviewed and selected from 51 submissions. They are categorized in the following topical sections: code-based cryptography; group-action-based cryptography; isogenye-based cryptography; lattice-based cryptography; multivariate cryptography; quantum algorithms, cryptanalysis and models; post-quantum protocols; side channel cryptanalysis and countermeasures.

This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19¿22, 2023. The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.

This book constitutes the proceedings of the 25th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2023, which took place in Penang, Malaysia, during August 29-30, 2023. The 18 full papers presented together with 19 short papers were carefully reviewed and selected from a total of 83 submissions.They were organized in topical sections as follows: Data quality; advanced analytics and pattern discovery; machine learning; deep learning; and data management.

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng¿s research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng¿s recent roadmap for UTP.

This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13¿15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; and OpenMP Infrastructure and Evaluation.