Böcker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

This book constitutes the refereed proceedings of the 20th International Conference on Computational Methods in Systems Biology, CMSB 2022, held in Bucharest, Romania, in September 2022.The 13 full papers and 4 tool papers were carefully reviewed and selected from 43 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems. The papers are arranged thematically as follows: Chemical reaction networks; Boolean networks; continuous and hybrid models; machine learning; software.

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; Collaborative and Participatory Cross-Cultural Design; Cross-Cultural Differences and HCI; Aspects of Intercultural DesignPart II: Cross-Cultural Learning, Training, and Education; Cross-Cultural Design in Arts and Music; Creative Industries and Cultural Heritage under a Cross-Cultural Perspective; Cross-Cultural Virtual Reality and GamesPart III: Intercultural Business Communication; Intercultural Business Communication; HCI and the Global Social Change Imposed by COVID-19; Intercultural Design for Well-being and InclusivenessPart IV: Cross-Cultural Product and Service Design; Cross-Cultural Mobility and Automotive UX Design; Design and Culture in Social Development and Digital Transformation of Cities and Urban Areas; Cross-Cultural Design in Intelligent Environments.

This book constitutes the refereed proceedings of the 11th  International Conference on Haptic and Audio Interaction Design, HAID 2022, held in London, UK, in August 2022.The 13 full papers presented were carefully reviewed and selected from 19 submissions that were sent for peer review. The papers are organized in topical sections on accessibility, perception, design and applications, and musical applications.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

This two-volume set LNCS 1319 and 13320 constitutes the thoroughly refereed proceedings of the 13th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2022, which was held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022.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. DHM 2022 includes a total of 56 papers. The first volume focuses on topics related to ergonomic design, anthropometry, and human modeling, as well as collaboration, communication, and human behavior. The second volume focuses on topics related to task analysis, quality and safety in healthcare, as well as occupational health and operations management, and Digital Human Modeling in interactive product and service design.

This book constitutes the refereed proceedings of the 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, which took place in Geneva, Switzerland, in September 2022.The 31 full papers presented in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: Theory; Modelling and simulation physical systems and phenomena; Cellular automata and spreading dynamics; Crowds, pedestrian and traffic dynamics; Other studies on cellular automata.

This book constitutes the proceedings of the 30th International Conference on Case-Based Reasoning, ICCBR 2022, which took place in Nancy, France, during September 12-15, 2022.The theme of ICCBR 2022 was Global Challenges for CBR aiming to consider how CBR can and might contribute to challenges in sustainability, climate change, and global health. The 26 papers presented in this volume were carefully reviewed and selected from 68 submissions. They deal with AI and related research focusing on comparison and integration of CBR with other AI methods such as deep learning architectures, reinforcement learning, lifelong learning, and eXplainable AI (XAI).

This two-volume set LNCS 13317 and 13318 constitutes the thoroughly refereed proceedings of the 14th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2022, held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The 56 papers included in this 2-volume set were organized in topical sections as follows: Developing VAMR Environments; Evaluating VAMR environments; Gesture-based, haptic and multimodal interaction in VAMR; Social, emotional, psychological and persuasive aspects in VAMR; VAMR in learning, education and culture; VAMR in aviation; Industrial applications of VAMR. The first volume focuses on topics related to developing and evaluating VAMR environments, gesture-based, haptic and multimodal interaction in VAMR, as well as social, emotional, psychological and persuasive aspects in VAMR, while the second focusses on topics related to VAMR in learning, education and culture, VAMR in aviation, and industrial applications of VAMR.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.  nbsp;      17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)nbsp;      3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022)nbsp;      9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)nbsp;      1st International Workshop on Security and Safety Interaction (SENSEI 2022)nbsp;      3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022)nbsp;      5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)

This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The DUXU 2022 proceedings comprise three volumes; they were organized in the following topical sections: Part I: Processes, Methods, and Tools for UX Design and Evaluation; User Requirements, Preferences, and UX Influential Factors; Usability, Acceptance, and User Experience Assessment.Part II: Emotion, Motivation, and Persuasion Design; Design for Well-being and Health.- Learning Experience Design; Globalization, Localization, and Culture Issues.Part III: Design Thinking and Philosophy; DUXU Case Studies; Design and User Experience in Emerging Technologies.

This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.

This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The DUXU 2022 proceedings comprise three volumes; they were organized in the following topical sections: Part I: Processes, Methods, and Tools for UX Design and Evaluation; User Requirements, Preferences, and UX Influential Factors; Usability, Acceptance, and User Experience Assessment.Part II: Emotion, Motivation, and Persuasion Design; Design for Well-being and Health.- Learning Experience Design; Globalization, Localization, and Culture Issues.Part III: Design Thinking and Philosophy; DUXU Case Studies; Design and User Experience in Emerging Technologies.

This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The DUXU 2022 proceedings comprise three volumes; they were organized in the following topical sections: Part I: Processes, Methods, and Tools for UX Design and Evaluation; User Requirements, Preferences, and UX Influential Factors; Usability, Acceptance, and User Experience Assessment.Part II: Emotion, Motivation, and Persuasion Design; Design for Well-being and Health.- Learning Experience Design; Globalization, Localization, and Culture Issues.Part III: Design Thinking and Philosophy; DUXU Case Studies; Design and User Experience in Emerging Technologies.

This two-volume set LNCS 1319 and 13320 constitutes the thoroughly refereed proceedings of the 13th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2022, which was held virtually as part of the 24rd HCI International Conference, HCII 2022, in June/July 2022.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. DHM 2022 includes a total of 56 papers. The first volume focuses on topics related to ergonomic design, anthropometry, and human modeling, as well as collaboration, communication, and human behavior. The second volume focuses on topics related to task analysis, quality and safety in healthcare, as well as occupational health and operations management, and Digital Human Modeling in interactive product and service design.

This book constitutes the refereed proceedings of the 4th International Conference on Adaptive Instructional Systems, AIS 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The AIS 2022 proceedings were organized in the following topical sections: Learner Modeling and State Assessment for Adaptive Instructional Decisions; Adaptation Design to Individual Learners and Teams; Design and Development of Adaptive Instructional Systems; Evaluating the Effectiveness of Adaptive Instructional Systems.

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence in HCI, AI-HCI 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022. A total of 1271 papers and 275 posters included in the 39 HCII 2022 proceedings volumes. AI-HCI 2022 includes a total of 39 papers; they are grouped thematically as follows: Human-Centered AI; Explainable and Trustworthy AI; UX Design and Evaluation of AI-Enabled Systems; AI Applications in HCI.

This two-volume set constitutes the refereed proceedings of the 8th International Conference on Human Aspects of IT for the Aged Population, ITAP 2022, held as part of the 24th International Conference, HCI International 2022, held as a virtual event, during June-July 2022.ITAP 2022 includes a total of 75 papers, which focus on topics related to designing for and with older users, technology acceptance and user experience of older users, use of social media and games by the aging population, as well as applications supporting health, wellbeing, communication, social participation and everyday activities. The papers are divided into the following topical sub-headings.Part I: Aging, Design and Gamification; Mobile, Wearable and Multimodal Interaction for Aging; Aging, Social Media and Digital Literacy; and Technology Acceptance and Adoption: Barriers and Facilitators for Older AdultsPart II: Intelligent Environment for Daily Activities Support; Health and Wellbeing Technologies for the Elderly; and Aging, Communication and Social Interaction.

This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, which was held in Tampa, FL, USA, during May, 2022. The conference took place in an hybrid format with both in-person and online participation.The 21 full papers included in these proceedings were carefully reviewed and selected from 32 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata.

This book constitutes the refereed proceedings of the 4th International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT  2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions. The HCI-CPT 2022 proceedings focuses on to user privacy and data protection, trustworthiness and User Experience in cybersecurity, multi-faceted authentication methods and tools, HCI in cyber defense and protection, studies on usable security in Intelligent Environments, as well as the impact of the Covid-19 pandemic on cybersecurity

The two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022. The conference was held virtually due to the COVID-19 pandemic.The 58 papers of DAPI 2022 are organized in topical sections named for each volume:Part I: User Experience and Interaction Design for Smart Ecosystems; Smart Cities, Smart Islands, and Intelligent Urban Living; Smart Artifacts in Smart Environments; and Opportunities and Challenges for the Near Future Smart EnvironmentsPart II: Smart Living in Pervasive IoT Ecosystems; Distributed, Ambient, and Pervasive Education and Learning; Distributed, Ambient, and Pervasive Well-being and Healthcare; and Smart Creativity and Art.

This book constitutes the refereed proceedings of the 10th International Conference on Culture and Computing, C&C 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The C&C 2022 proceedings presents topics such as User Experience, Culture, and Technology, Culture and Computing in Arts and Music and preservation and fruition of cultural heritage, as well as developing and shaping future cultures.

The two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022. The conference was held virtually due to the COVID-19 pandemic.The 58 papers of DAPI 2022 are organized in topical sections named for each volume:Part I: User Experience and Interaction Design for Smart Ecosystems; Smart Cities, Smart Islands, and Intelligent Urban Living; Smart Artifacts in Smart Environments; and Opportunities and Challenges for the Near Future Smart EnvironmentsPart II: Smart Living in Pervasive IoT Ecosystems; Distributed, Ambient, and Pervasive Education and Learning; Distributed, Ambient, and Pervasive Well-being and Healthcare; and Smart Creativity and Art.

The three-volume set LNCS 13302, 13303 and 13304 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 24th International Conference on Human-Computer Interaction, HCII 2022, which took place virtually in June-July 2022.The 132 papers included in this HCI 2022 proceedings were organized in topical sections as follows:Part I: Theoretical and Multidisciplinary Approaches in HCI; Design and Evaluation Methods, Techniques and Tools; Emotions and Design; and Children-Computer Interaction,Part II: Novel Interaction Devices, Methods and Techniques; Text, Speech and Image Processing in HCI; Emotion and Physiological Reactions Recognition; and Human-Robot Interaction,Part III: Design and User Experience Case Studies, Persuasive Design and Behavioral Change; and Interacting with Chatbots and Virtual Agents.

The three-volume set LNCS 13302, 13303 and 13304 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 24th International Conference on Human-Computer Interaction, HCII 2022, which took place virtually in June-July 2022.The 132 papers included in this HCI 2022 proceedings were organized in topical sections as follows:Part I: Theoretical and Multidisciplinary Approaches in HCI; Design and Evaluation Methods, Techniques and Tools; Emotions and Design; and Children-Computer Interaction,Part II: Novel Interaction Devices, Methods and Techniques; Text, Speech and Image Processing in HCI; Emotion and Physiological Reactions Recognition; and Human-Robot Interaction,Part III: Design and User Experience Case Studies, Persuasive Design and Behavioral Change; and Interacting with Chatbots and Virtual Agents.

The three-volume set LNCS 13302, 13303 and 13304 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 24th International Conference on Human-Computer Interaction, HCII 2022, which took place virtually in June-July 2022.The 132 papers included in this HCI 2022 proceedings were organized in topical sections as follows:Part I: Theoretical and Multidisciplinary Approaches in HCI; Design and Evaluation Methods, Techniques and Tools; Emotions and Design; and Children-Computer Interaction,Part II: Novel Interaction Devices, Methods and Techniques; Text, Speech and Image Processing in HCI; Emotion and Physiological Reactions Recognition; and Human-Robot Interaction,Part III: Design and User Experience Case Studies, Persuasive Design and Behavioral Change; and Interacting with Chatbots and Virtual Agents.

This book constitutes the refereed proceedings of the 13th International Conference of the CLEF Association, CLEF 2022, held in Bologna, Italy in September 2022.The conference has a clear focus on experimental information retrieval with special attention to the challenges of multimodality, multilinguality, and interactive search ranging from unstructured to semi structures and structured data.The 7 full papers presented together with 3 short papers in this volume were carefully reviewed and selected from 14 submissions. This year, the contributions addressed the following challenges: authorship attribution, fake news detection and news tracking, noise-detection in automatically transferred relevance judgments, impact of online education on children's conversational search behavior, analysis of multi-modal social media content, knowledge graphs for sensitivity identification, a fusion of deep learning and logic rules for sentiment analysis, medical concept normalization and domain-specific information extraction.In addition to this, the volume presents 7 "e;best of the labs"e; papers which were reviewed as full paper submissions with the same review criteria. 14 lab overview papers were accepted and represent scientific challenges based on new datasets and real world problems in multimodal and multilingual information access.