Books in the Lecture Notes in Computer Science series

This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, in Macao, China, in August 2019.The workshops included in this volume are:AI4KM 2019: 7th International Workshop on Artificial Intelligence for Knowledge Management and Innovation.FinNLP 2019: First International Workshop on Financial Technology and Natural Language Processing.OR 2019: 32nd International Workshop on Qualitative Reasoning.SURL 2019: Second International Workshop on Scaling-Up Reinforcement Learning.First International Workshop on Bringing Semantic Knowledge into Vision and Text Understanding.EASyHAT 2019: First International Workshop on Evaluation of Adaptive Systems for Human-Autonomy Teaming.ACAN 2019: 12th International Workshop on Agent-based Complex Automated Negotiations.First International Workshop on Deep Learning for Human Activity Recognition.HAI 2019: Second International Workshop on Humanizing AI.International Workshop on Language Sense on Computer.AISafety 2019: International Workshop on Artificial Intelligence Safety.DeLBP 2019: 4th International Workshop on Declarative Learning Based Programming.

This book constitutes the refereed proceedings of 14th International Conference on Augmented Cognition, AC 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

This book constitutes the refereed conference proceedings of the 8th Annual Privacy Forum, APF 2020, held in Lisbon, Portugal, in October 2020. The 12 revised full papers were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on impact assessment; privacy by design; and transparency.

This book constitutes the proceedings of the 12th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2019, held in Link├╢ping, Sweden, in August/September 2020, in conjunction with the 19th IFIP WG 8.5 IFIP International Conference on Electronic Government (EGOV 2020) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2020). The conference was held virtually due to the COVID-19 pandemic.The 11 full papers presented were carefully reviewed and selected from 33 submissions. The papers are clustered under the following topical sections: eParticipation developments; digital transformation; open government and transparency; and user perspectives.

This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, CollabTech 2020. The 10 full and 5 work-in-progress papers presented in this volume were carefully reviewed and selected from 25 submissions.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference, Spatial Cognition 2020, held in Riga, Latvia, in September 2020.

This book constitutes the proceedings of the 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, held in Heidelberg, Germany, in September 2020. The 24 research papers and 20 demo and 5 poster papers presented in this volume were carefully reviewed and selected from 91 submissions.

This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2020, held in Tarragona, Spain, in September 2020 under the sponsorship of the UNESCO Chair in Data Privacy. The 25 revised full papers presented were carefully reviewed and selected from 49 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020.

This book constitutes the refereed proceedings of the 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, held in Dublin, Ireland, in August 2020. The 30 revised full papers presented were carefully reviewed and selected from 140 submissions.

The theme of this year's workshop was "Security Protocols for Humans" The topics covered included Designing for Humans and Understanding Humans, Human Limitations in Security, Secure sharing and collaboration and much more.

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

This book constitutes the proceedings of the 25th International Conference on Conceptual Structures, ICCS 2020, held in Bolzano, Italy, in September 2020.*The 10 full papers, 5 short papers and 1 poster paper presented were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020.

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020. The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions.

The chapter "An Efficient Index for Reachability Queries in Public Transport Networks" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 17th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2020, held in Sant Cugat, Spain, in September 2020.*The 24 papers presented in this volume were carefully reviewed and selected from 46 submissions.

This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020.

This book constitutes the refereed proceedings of the 14th IAPR International Workshop on Document Analysis Systems, DAS 2020, held in Wuhan, China, in July 2020. The 40 full papers presented in this book were carefully reviewed and selected from 57 submissions.

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020. The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions.

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020. The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions.

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.

This book constitutes the refereed proceedings of the 25th Australasian Conference on Information Security and Privacy, ACISP 2020, held in Perth, WA, Australia, in November 2020*. The 31 revised full papers and 5 short papers presented were carefully revised and selected from 151 submissions.