Books in the Lecture Notes in Computer Science series

The two-volume set LNCS 11891 and 11892 constitutes the proceedings of the 17th International Conference on Theory of Cryptography, TCC 2019, held in Nuremberg, Germany, in December 2019.The 43 full papers presented were carefully reviewed and selected from 147 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Computer Vision Systems, ICVS 2019, held in Thessaloniki, Greece, in September 2019.The 72 papers presented were carefully reviewed and selected from 114 submissions. cognitive and computer vision assisted systems for energy awareness and behavior analysis;

This book constitutes the proceedings of the 6th International Conference on Future Data and Security Engineering, FDSE 2019, held in Nha Trang City, Vietnam, in November 2019.The 38 full papers and 14 short papers presented together with 2 papers of keynote speeches were carefully reviewed and selected from 159 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic engineering.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018. The 12 papers presented in this book were carefully reviewed and selected from 15 submissions.

This book constitutes the proceedings of the 14th International Conference on Web and Internet Economics, WINE 2019, held in New York City, USA, in December 2019.

This book constitutes the thoroughly refereed conference proceedings of the International Conference for Smart Health, ICSH 2019, held in Shenzhen, China, in July 2019. The 34 full papers and 1 short papers presented were carefully reviewed and selected from 43 submissions.

This book constitutes the refereed joint proceedings of the 4th International Workshop on Large-Scale Annotation of Biomedical Data and Expert Label Synthesis, LABELS 2019, the First International Workshop on Hardware Aware Learning for Medical Imaging and Computer Assisted Intervention, HAL-MICCAI 2019, and the Second International Workshop on Correction of Brainshift with Intra-Operative Ultrasound, CuRIOUS 2019, held in conjunction with the 22nd International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2019, in Shenzhen, China, in October 2019.The 8 papers presented at LABELS 2019, the 5 papers presented at HAL-MICCAI 2019, and the 3 papers presented at CuRIOUS 2019 were carefully reviewed and selected from numerous submissions. The LABELS papers present a variety of approaches for dealing with a limited number of labels, from semi-supervised learning to crowdsourcing. The HAL-MICCAI papers cover a wide set of hardware applications inmedical problems, including medical image segmentation, electron tomography, pneumonia detection, etc. The CuRIOUS papers provide a snapshot of the current progress in the field through extended discussions and provide researchers an opportunity to characterize their image registration methods on newly released standardized datasets of iUS-guided brain tumor resection.

This book constitutes the refereed proceedings of the 11th International Conference on Social Robotics, ICSR 2019, held in Madrid, Spain, in November 2019.The 69 full papers presented were carefully reviewed and selected from 92 submissions. cognition and social values for social robots; social cues and design of social robots;

The contributions were organized in topical sections named: Semantic Web for E-Learning, Learning Analytics, Computer Supported Collaborative Learning, Assessment and Pedagogical Issues, E-learning Platforms and Tools, Mobile Learning, and Poster Papers.

This book constitutes the proceedings of the 32nd Australasian Joint Conference on Artificial Intelligence, AI 2019, held in Adelaide, SA, Australia, in December 2019. The 48 full papers presented in this volume were carefully reviewed and selected from 115 submissions.

The papers have been organized in the following topical sections: Knowledge Representation for AI, AI and Computation, Machine Learning for AI, and AI and Humans.

This book constitutes the proceedings of the 17th IMA International Conference on Cryptography and Coding, IMACC 2019, held in Oxford, UK, in December 2019. The 17 papers presented were carefully reviewed and selected from 31 submissions. The conference focuses on a diverse set of topics both in cryptography and coding theory.

This book constitutes revised selected papers from the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, held in Munich, Germany, in September 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions.

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019. The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions.

This book constitutes the proceedings of the 15th International Conference on Advanced Data Mining and Applications, ADMA 2019, held in Dalian, China in November 2019. The 39 full papers presented together with 26 short papers and 2 demo papers were carefully reviewed and selected from 170 submissions.

This book constitutes the refereed proceedings of the 24th Nordic Conference on Secure IT Systems, NordSec 2019, held in Aalborg, Denmark, in November 2019. The 17 full papers presented in this volume were carefully reviewed and selected from 32 submissions. network security; platform security and malware;

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.

This book constitutes the proceedings of the 11th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2019, held in Trento, Italy, in November 2019.

This book constitutes the proceedings of the 12th International Conference on Internet and Distributed Systems held in Naples, Italy, in October 2019. The 47 revised full papers presented were carefully reviewed and selected from 145 submissions.