Bøker i Lecture Notes in Computer Science-serien

This book constitutes the proceedings of the 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, held in Aveiro, Portugal, in September 2023.The 34 full papers included in this volume were carefully reviewed and selected from 126 submissions. Additionally, 24 posters and 16 demonstration papers were included in the proceedings. The papers focus on sustainable teaching and learning practices in the post-pandemic educational ecosystem.

T¿his book constitutes the proceedings of the 36th International Conference on Architecture of Computing Systems, ARCS 2023, which took place in Athens, Greece, in June 2023.The 18 full papers in this volume were carefully reviewed and selected from 35 submissions.ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing.Back to top

The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023, held in York, UK, in August/September 2023. The 71 full papers and 58 short papers included in this book were carefully reviewed and selected from 406 submissions. They were organized in topical sections as follows: 3D Interaction; Accessibility; Accessibility and Aging; Accessibility for Auditory/Hearing Disabilities; Co-Design; Cybersecurity and Trust; Data Physicalisation and Cross-device; Eye-Free, Gesture Interaction and Sign Language; Haptic interaction and Healthcare applications; Self-Monitoring; Human-Robot Interaction; Information Visualization; Information Visualization and 3D Interaction; Interacting with Children; Interaction with Conversational Agents; Methodologies for HCI; Model-Based UI Design and Testing; Montion Sickness, Stress and Risk perception in 3D Environments and Multisensory interaction; VR experiences; Natural Language Processing and AI Explainability; Online Collaboration and Cooperative work; Recommendation Systems and AI Explainability; Social AI; Social and Ubiquitous Computing; Social Media and Digital Learning; Understanding Users and Privacy Issues; User movement and 3D Environments; User Self-Report; User Studies; User Studies, Eye-Tracking, and Physiological Data; Virtual Reality; Virtual Reality and Training; Courses; Industrial Experiences; Interactive Demonstrations; Keynotes; Panels; Posters; and Workshops.

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 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 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 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 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 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 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.

This book constitutes the refereed proceedings of the 6th International Conference on Innovative Technologies and Learning, ICITL 2023, held in Porto, Portugal, during August 28¿30, 2023. The 64 full papers included in this book were carefully reviewed and selected from 147 submissions.They cover a wide range of many different research topics, such as: artificial intelligence in education; computational thinking in education; design and framework of learning systems; pedagogies to innovative technologies and learning; STEM/STEAM education; VR/AR/MR/XR in education; and application and design of innovative learning software.

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Data Structures, WADS 2023, held during July 31-August 2, 2023. The 47 regular papers, presented in this book, were carefully reviewed and selected from a total of 92 submissions. They present original research on the theory, design and application of algorithms and data structures.

This book constitutes revised selected papers from the workshops that were affiliated with the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022. FC 2022 presents the following four workshops:CoDecFin 2022: 3rd Workshop on Coordination of Decentralized FinanceDeFi 2022: 2nd Workshop on Decentralized FinanceVoting 2022: 7th Workshop on Advances in Secure Electronic VotingWTSC 2022: 6th Workshop on Trusted Smart Contracts

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

This book constitutes revised selected papers from the 53rd International Simulation and Gaming Association Conference, ISAGA 2022, which took place in Boston, USA, during July 11¿14, 2022.The 15 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: education and training; resilience and sustainability; health; and social justice.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18¿19, 2023.The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows:¿ Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.