Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of seven International Workshops which were held in conjunction with the 27th European Symposium on Research in Computer Security, ESORICS 2022, held in hybrid mode, in Copenhagen, Denmark, during September 26-30, 2022.The 39 papers included in these proceedings stem from the following workshops: 8th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2022, which accepted 8 papers from 15 submissions; 6th International Workshop on Security and Privacy Requirements Engineering, SECPRE 2022, which accepted 2 papers from 5 submissions; Second Workshop on Security, Privacy, Organizations, and Systems Engineering, SPOSE 2022, which accepted 4 full papers out of 13 submissions; Third Cyber-Physical Security for Critical Infrastructures Protection, CPS4CIP 2022, which accepted 9 full and 1 short paper out of 19 submissions; Second International Workshop on Cyber Defence Technologies and Secure Communications at the Network Edge, CDT & SECOMANE 2022, which accepted 5 papers out of 8 submissions; First International Workshop on Election Infrastructure Security, EIS 2022, which accepted 5 papers out of 10 submissions; and First International Workshop on System Security Assurance, SecAssure 2022, which accepted 5 papers out of 10 submissions. Chapter(s) 5, 10, 11, and 14 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

This book constitutes the refereed proceedings of the 13th International Conference on Decision and Game Theory for Security, GameSec 2022, held in October 2022 in Pittsburgh, PA, USA. The 15 full papers presented were carefully reviewed and selected from 39 submissions. The papers are grouped thematically on: deception in security; planning and learning in dynamic environments; security games; adversarial learning and optimization; novel applications and new game models.

This two-volume set LNCS 13315 and 13316 constitutes the refereed proceedings of the 14th International Conference on Social Computing and Social Media, SCSM 2022, held as part of the 24rd International Conference, HCI International 2022, which took place in June-July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 275 posters included in the 40 HCII 2022 proceedings volumes was carefully reviewed and selected from 5583 submissions. The papers of SCSM 2022, Part I, are organized in topical sections named: design and user experience in social media and social live streaming; text analysis and AI in social media; social media impact on society and business.

This proceedings, LCT 2022, constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, LCT 2022, held as Part of the 24th International Conference, HCI International 2022, which took place in June/July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1271 papers and 275 poster papers included in the 39 HCII 2022 proceedings volumes was carefully reviewed and selected from 5487 submissions. The papers of LCT 2022 are organized in topical sections named: Designing and Developing Learning Technologies; Learning and Teaching Online; Diversity in Learning; Technology in Education: Practices and Experiences.

This two-volume set of LCT 2022, constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, LCT 2022, held as Part of the 24th International Conference, HCI International 2022, which took place in June/July 2022. Due to COVID-19 pandemic the conference was held virtually. The total of 1271 papers and 275 poster papers included in the 39 HCII 2022 proceedings volumes was carefully reviewed and selected from 5487 submissions. The papers of LCT 2022 Part II are organized in topical sections named: eXtended Reality in Learning and Education; Chatbots, Robots and Virtual Teachers; Collaboration Technology.

This two-volume set LNCS 13315 and 13316 constitutes the refereed proceedings of the 14th International Conference on Social Computing and Social Media, SCSM 2022, held as part of the 24rd International Conference, HCI International 2022, which took place in June-July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 275 posters included in the 40 HCII 2022 proceedings volumes was carefully reviewed and selected from 5583 submissions. The papers of SCSM 2022, Part II, are organized in topical sections named: social media in education; customer experience and consumer behavior.

This two-volume set constitutes the refereed proceedings of the 16th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2022, held as part of the 24th International Conference, HCI International 2022, held as a virtual event, in June-July 2022. A total of 1271 papers and 275 posters included in the 39 HCII 2022 proceedings volumes. UAHCI 2022 includes a total of 73 papers; they focus on topics related to universal access methods, techniques and practices, studies on accessibility, design for all, usability, UX and technology acceptance, emotion and behavior recognition for universal access, accessible media, access to learning and education, as well universal access to virtual and intelligent assistive environments.

This book constitutes the refereed proceedings of the 11th International Conference on Computational Data and Social Networks, CSoNet 2022, held as a Virtual Event, during December 5¿7, 2022. The 17 full papers and 7 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Machine Learning and Prediction, Security and Blockchain, Fact-checking, Fake News, and Hate Speech, Network Analysis, Optimization.

This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20¿25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.

This two-volume set constitutes the refereed proceedings of the 16th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2022, held as part of the 24th International Conference, HCI International 2022, held as a virtual event, in June-July 2022. A total of 1271 papers and 275 posters included in the 39 HCII 2022 proceedings volumes. UAHCI 2022 includes a total of 73 papers; they focus on topics related to universal access methods, techniques and practices, studies on accessibility, design for all, usability, UX and technology acceptance, emotion and behavior recognition for universal access, accessible media, access to learning and education, as well universal access to virtual and intelligent assistive environments.

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP. The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover a wide range of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.

This book constitutes the proceedings of the 37th International Conference, IVCNZ 2022, which took place in Auckland, New Zealand, in November 2022.The 37 papers (14 accepted for long oral presentation, 23 for short oral presentation) included in this volume were carefully reviewed and selected from 79 submissions. The conference presents papers on all aspects of computer vision, image processing, computer graphics, virtual and augmented reality, visualization, and HCI applications related to these fields.

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023.The 32 papers presented in this volume were carefully reviewed and selected from 67 submissions. The papers were organized in topical sections named: algorithms and optimization; computational geometry; game theory; graph coloring; graph connectivity; graph domination; graph matching; graph partition and graph covering.

This book constitutes the revised selected papers from the 23rd International Conference on Information Security Applications, WISA 2022, which took place on Jeju Island, South Korea, during August 2022.The 25 papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: network security; cryptography; vulnerability analysis; privacy enhancing technique; security management; security engineering.

This book constitutes the refereed proceedings of the 28th China Conference on Information Retrieval, CCIR 2022, held in Chongqing, China, in September 2022. Information retrieval aims to meet the demand of human on the Internet to obtain information quickly and accurately. The 8 full papers presented were carefully reviewed and selected from numerous submissions. The papers provide a wide range of research results in information retrieval area.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17¿18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022.The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.

This book constitutes the refereed proceedings of the 17th International Conference on Green, Pervasive, and Cloud Computing, GPC 2022, held in Chengdu, China, in December 2022.The 19 full papers presented in this book were carefully reviewed and selected from 104 submissions. GPC 2022 shares novel ideas and experiences in the areas of Green, Pervasive, and Cloud Computing.

This book constitutes the post-conference proceedings of the First MICCAI Workshop on Medical Applications with Disentanglements, MAD 2022, held in conjunction with MICCAI 2022, in Singapore, on September22, 2022. The 8 full papers presented in this book together with one short paper were carefully reviewed and cover generative adversarial networks (GAN), variational autoencoders (VAE) and normalizing-flow architectures as well as a wide range of medical applications, like brain age prediction, skull reconstruction and unsupervised pathology disentanglement.

This book constitutes the proceedings of the 10th International Conference on Big Data Analytics, BDA 2022, which took place in Hyderabad, India, in December 2022.The 7 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The book also contains 4 keynote talks in full-paper length. The papers are organized in the following topical sections: Big Data Analytics: Vision and Perspectives; Data Science: Architectures; Data Science: Applications; Graph Analytics; Pattern Mining; Predictive Analytics in Agriculture.

This volume constitutes the refereed proceedings of the 5th International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2022, held in Copenhagen, Denmark, on September 30, 2022, co-located with ESORICS 2022.The revised 8 full papers presented together with one invited paper were carefully reviewed and selected from 10 submissions. They cover topics such as: new techniques for biometric and behavioral based authentication, authentication and authorization in the IoT and in distributed systems in general, including the smart home environment.

This book constitutes the refereed proceedings of the 21st International Workshop, IWDW 2022, held in Guilin, China, during November 18-19, 2022. The 14 full papers included in this book were carefully reviewed and selected from 30 submissions. They were organized in topical sections as follows: Steganology, Forensics and Security Analysis, Watermarking.

This book constitutes the proceedings of the 21st International Conference on Smart Card Research and Advanced Applications, CARDIS 2022, which took place in November 2022. The conference took place in Birmingham, United Kingdom. The 15 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: physical attacks; physical countermeasures; protecting AES; evaluation methodologies; attacking NTRU; next-generation cryptography.