Books in the Lecture Notes in Computer Science series

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online.

This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abstracts of invited lectures were carefully reviewed and selected from 78 submissions.

This book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed to be held in Biarritz, France, in May 2021. The papers were organized in topical sections named: Semantic Web; Web modeling and engineering; Web big data and data analytics; Web mining and knowledge extraction;

This book constitutes the First Cerebral Aneurysm Detection Challenge, CADA 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in October 2020. The papers were organized in topical sections as follows: cerebral aneurysm detection;

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020.

Although many representation models or cognitive models have been proposed, such as expert systems or knowledge graphs, they cannot represent procedural knowledge, i.e., dynamic knowledge, in an efficient way.This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis).

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021.

This two-volume set LNCS 12645-12646 constitutes the refereed proceedings of the 16th International Conference on Diversity, Divergence, Dialogue, iConference 2021, held in Beijing, China, in March 2021. The 32 full papers and the 59 short papers presented in this two-volume set were carefully reviewed and selected from 225 submissions.

This two-volume set LNCS 12645-12646 constitutes the refereed proceedings of the 16th International Conference on Diversity, Divergence, Dialogue, iConference 2021, held in Beijing, China, in March 2021. The 32 full papers and the 59 short papers presented in this volume were carefully reviewed and selected from 225 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2020, held in Prague, Czech Republic, in October 2020.*The 19 full papers included in the volume were carefully reviewed and selected from 26 submissions.

This book constitutes the refereed proceedings of the 25th Nordic Conference on Secure IT Systems, NordSec 2020, which was organized by Linkoeping University, Sweden, and held online during November 23-24, 2020.The 15 papers presented in this volume were carefully reviewed and selected from 45 submissions.

The six volume set of LNCS 12622-12627 constitutes the proceedings of the 15th Asian Conference on Computer Vision, ACCV 2020, held in Kyoto, Japan, in November/ December 2020.*The total of 254 contributions was carefully reviewed and selected from 768 submissions during two rounds of reviewing and improvement.

The six volume set of LNCS 12622-12627 constitutes the proceedings of the 15th Asian Conference on Computer Vision, ACCV 2020, held in Kyoto, Japan, in November/ December 2020.*The total of 254 contributions was carefully reviewed and selected from 768 submissions during two rounds of reviewing and improvement.

This book constitutes the refereed proceedings of the 32nd Australasian Database Conference, ADC 2021, held in Dunedin, New Zealand, in January/February 2021. The 17 full papers presented were carefully reviewed and selected from 21 submissions.

This 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan, Italy and rescheduled to January 10 - 11, 2021 due to Covid-19 pandemic.

This 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan, Italy and rescheduled to January 10 - 11, 2021 due to Covid-19 pandemic.

This 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan, Italy and rescheduled to January 10 - 11, 2021 due to Covid-19 pandemic.

This 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan, Italy and rescheduled to January 10 - 11, 2021 due to Covid-19 pandemic.