Böcker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the Second International Conference on Innovative Technologies and Learning, ICITL 2020, held in Porto, Portugal, in November 2020. The 65 full papers presented together with 2 short papers were carefully reviewed and selected from 127 submissions. Innovative Learning in Education;

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.

This book constitutes the proceedings of the 40th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2020, which was supposed to be held in Cambridge, UK, in December 2020.

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.

The volume LNAI 12228 constitute the refereed proceedings of the 21th Annual Conference "Towards Autonomous Robotics," TAROS 20120, held in Nottingham, UK, in September 2020.*The 30 full papers and 11 short papers presented were carefully reviewed and selected from 63 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Games and Learning Alliance, GALA 2020, held in Laval, France, in December 2020. The 35 full papers and 10 short papers were carefully reviewed and selected from 77 submissions. The papers cover a broad spectrum of topics: Serious Game Design;

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.

This book constitutes the refereed proceedings of the 6th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2020, held in conjunction with the 23rd International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020.

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.

This book constitutes the proceedings of the 13th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2020, held in Tallinn, Estonia, in November 2020.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2020, held in New Orleans, LA, USA, in May 2020.*The 6 revised full papers presented were carefully reviewed and selected from 8 submissions.

This book constitutes revised selected papers from the 16th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2019, which was held in Bergamo, Italy, during September 4-6, 2019.

This book provides a comprehensive and self-contained introduction to federated learning, ranging from the basic knowledge and theories to various key applications.

This book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in September 2020.

This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held in Hainan, China, in October/November 2020.The 32 full and 2 short papers presented in this volume were carefully reviewed and selected from 99 submissions. minority language information processing;

This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ICCCI 2020, held in Da Nang, Vietnam, in November 2020.*The 70 full papers presented were carefully reviewed and selected from 314 submissions. computational collective intelligence and natural language processing;

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020, held in Taoyuan, Taiwan, in December 2020. The 12 full papers presented in this book, together with one invited talk, were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Optimization and Applications, OPTIMA 2020, held in Moscow, Russia, in September-October 2020.*The 21 full and 2 short papers presented were carefully reviewed and selected from 60 submissions.

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions.

This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020.

This book constitutes the refereed proceedings of the 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, held in Bournemouth, UK, in November 2020.

This book constitutes the refereed proceedings of the 8th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2020, held in Phuket, Thailand, in November 2020.*The 35 full papers presented were carefully reviewed and selected from 55 submissions.