Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 14th International Symposium on Visual Computing, ISVC 2019, held in Lake Tahoe, NV, USA in October 2019. The 100 papers presented in this double volume were carefully reviewed and selected from 163 submissions. Computer Graphics II; Applications II; Virtual Reality II;

This book constitutes the proceedings of the 41st DAGM German Conference on Pattern Recognition, DAGM GCPR 2019, held in Dortmund, Germany, in September 2019. The 43 revised full papers presented were carefully reviewed and selected from 91 submissions.

This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Practice of Natural Computing, TPNC 2019, held in Kingston, ON, Canada, in December 2019. The 15 full papers presented in this book, together with two invited talk, were carefully reviewed and selected from 38 submissions.

This book constitutes the proceedings of the 39th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2019, held in Cambridge, UK, in December 2019. The 29 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 49 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Information Security Practice and Experience, ISPEC 2019, held in Kuala Lumpur, Malaysia, in November 2019. The 21 full and 7 short papers presented in this volume were carefully reviewed and selected from 68 submissions.

This book constitutes the refereed proceedings of the 15th European Conference on Ambient Intelligence, AmI 2019, held in Rome, Italy, in November 2019. The 20 full papers presented together with 10 short papers were carefully reviewed and selected from 50 submissions.

The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains.

This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning for Medical Reconstruction, MLMIR 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019. The 24 full papers presented were carefully reviewed and selected from 32 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.

This two-volume set of LNCS 11871 and 11872 constitutes the thoroughly refereed conference proceedings of the 20th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2019, held in Manchester, UK, in November 2019. The 94 full papers presented were carefully reviewed and selected from 149 submissions.

This two-volume set of LNCS 11871 and 11872 constitutes the thoroughly refereed conference proceedings of the 20th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2019, held in Manchester, UK, in November 2019. The 94 full papers presented were carefully reviewed and selected from 149 submissions.

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. safety assessment in automotive industry;

This book constitutes the refereed proceedings of the 4th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.The 16 full papers presented were carefully reviewed and selected from 21 submissions.

This book constitutes the refereed proceedings of the First International Workshop on Connectomics in Artificial Intelligence in Radiation Therapy, AIRT 2019, held in conjunction with MICCAI 2019 in Shenzhen, China, in October 2019. The 20 full papers presented were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the Third International Workshop on Connectomics in NeuroImaging, CNI 2019, held in conjunction with MICCAI 2019 in Shenzhen, China, in October 2019.The 13 full papers presented were carefully reviewed and selected from 14 submissions.

This book constitutes the refereed proceedings of the First MICCAI Workshop on Domain Adaptation and Representation Transfer, DART 2019, and the First International Workshop on Medical Image Learning with Less Labels and Imperfect Data, MIL3ID 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.