Books in the Lecture Notes in Computer Science series

They are organized in topical sections named: COVID-19, EEG data processing, Medical Data Analysis, Medical Record Mining (I), Medical Data Mining (II), Medical Data Processing.

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.

This book constitutes the proceedings of the 9th International Conference on Statistical Language and Speech Processing, SLSP 2021, held in Cardiff, UK, in November 2021.The 9 full papers presented in this volume were carefully reviewed and selected from 21 submissions.

Ethics, Trust and Explainability.- Can you Trust the Black Box? The Effect of Personality Traits on Trust in AI-Enabled User Interfaces.- Towards Design Principles for User-Centric Explainable AI in Fraud Detection.- Disentangling Trust and Anthropomorphism Toward the Design of Human-Centered AI Systems.- Designing a Gender-Inclusive Conversational Agent for Pair Programming: An Empirical Investigation.- The Challenge of Digital Education and Equality in Taiwan.- Morality Beyond the Lines: Detecting Moral Sentiment using AI-generated Synthetic Context.- Whoops! Something Went Wrong: Errors, Trust, and Trust Repair Strategies in Human Agent Teaming.- What Does it Mean to Explain? A User-Centered Study on AI Explainability.- Human-Centered AI.- How Intuitive Is It? Comparing Metrics for Attitudes in Argumentation with a Human Baseline.- A Contextual Bayesian User Experience Model for Scholarly Recommender Systems.- From a Workshop to a Framework for Human-Centered Artificial Intelligence.- Collaborative Human-AI Sensemaking for Intelligence Analysis.- Design Intelligence - Taking Further Steps Towards New Methods and Tools for Designing in the Age of AI.- Towards Incorporating AI into the Mission Planning Process.- Putting a Face on Algorithms: Personas for Modelling Artificial Intelligence.- Tool or Partner: The Designer''s Perception of an AI-style Generating Service.- Human-Centered Artificial Intelligence Considerations and Implementations: A Case Study from Software Product Development.- Sage Advice? The Impacts of Explanations for Machine Learning Models on Human Decision-Making in Spam Detection.- HCD3A: An HCD Model to Design Data-Driven Apps.- AI applications in HCI.- Visual Prediction Based on Photorealistic Style Transfer.- Automatic Generation of Machine Learning Synthetic Data using ROS.- A Questionnaire Data Clustering Method Based on Optimized K-Modes Algorithm.- A Deep Learning Based Multi-modal Approach for Images and Texts Recommendation.- Pet Dogs'' and Their Owners'' Reactions toward Four Differently Shaped Speaking Agents: A Report on Qualitative Results in a Pilot Test.- Investigating Viewer''s Reliance on Captions Based on Gaze Information.- KLSI Methods for Human Simultaneous Interpretation and Towards Building a Simultaneous Machine Translation System Reflecting the KLSI Methods.- Development of Real Environment Datasets Creation Method for Deep Learning to Improve Quality of Depth Image.- Assisting Text Localization and Transcreation Tasks Using AI-based Masked Language Modeling.- A Preliminary Study for Identification of Additive Manufactured Objects with Transmitted Images.- AI Applications in Smart Environments.- A Tactile User Device to Interact with Smart Environments.- Towards an Ambient Smart City: Using Augmented Reality to Geospatially Filter the Right Airbnb via Artificial Intelligence.- Why Developing Simulation Capabilities Promotes Sustainable Adaptation to Climate Change.- Natural Interaction with Traffic Control Cameras through Multimodal Interfaces.- Building Conversational Agents for Military Training: Towards a Virtual Wingman.- Toward Automated Mixed Reality Interface Design: An Evolutionary Optimization Approach.- Estimation of Learners'' Engagement Using Face and Body Features by Transfer Learning.

This book constitutes the refereed proceedings of the 18th International Conference on Virtual Reality and Mixed Reality, EuroXR 2021, held in Valencia, Spain, in November 2021.The 8 full and 4 short papers were carefully reviewed and selected from 31 submissions.

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021. The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions.

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.

This book constitutes the refereed proceedings of the 26th Australasian Conference on Information Security and Privacy, ACISP 2021, held in Perth, WA, Australia, in November 2021.The 35 full papers presented were carefully revised and selected from 157 submissions.

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Social Robotics, ICSR 2021, held in Singapore, Singapore, in November 2021. The conference presents topics on humans and intelligent robots and on the integration of robots into the fabric of our society.

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020.

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Practice of Natural Computing, TPNC 2021, held virtually, in December 2021. The 9 full papers presented together with 3 invited talks, in this book were carefully reviewed and selected from 14 submissions.

This book constitutes the refereed proceedings of the 7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, held in Havana, Cuba, in October 2021.

This book constitutes the proceedings of the 20th International Conference on Advances in Web-Based Learning, ICWL 2021, which was held in Macau, China, in November 2021. The papers included in this volume deal with multiple topics, from algorithms to systems and applications and are organized in 3 tracks: Online learning methodologies, trust, and analysis; Online learning environment with tools; Online learning privacy issues and special tools.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.

This book constitutes the proceedings of the Third International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2020, held in Guildford, UK, in September 2020.

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.

This book constitutes the proceedings of the )th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2020, held in Freiburg, Germany, in July 2020.

This book constitutes the First Automatization of Cranial Implant Design in Cranioplasty Challenge, AutoImplant 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020.

This book constitutes the refereed proceedings of the 15th International Conference on Green, Pervasive, and Cloud Computing, GPC 2020, held in Xi'an, China, in November 2020. The 30 full papers presented in this book together with 8 short papers were carefully reviewed and selected from 96 submissions.

This volume LNCS 12557 constitutes the refereed proceedings of the 17th International Symposium on Neural Networks, ISNN 2020, held in Cairo, Egypt, in December 2020.The 24 papers presented in the two volumes were carefully reviewed and selected from 39 submissions. The papers were organized in topical sections named: optimization algorithms;