Books in the Theoretical Computer Science and General Issues series

This two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011. The papers address issues such as parallel/distributed architectures and mobile computing;

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.

The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the 28th International Conference on Artificial Neural Networks, ICANN 2019, held in Munich, Germany, in September 2019.

This book constitutes the proceedings of the 18th International Conference on Unconventional Computation and Natural Computation, UCNC 2019, held in Tokyo, Japan, in June 2019.The 19 full papers presented were carefully reviewed and selected from 32 submissions. chaos and dynamical systems based computing;

This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021. The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions.

This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021. The papers were organized in topical sections named: approximation algorithms; parameterized algorithms; graph algorithms;

This book constitutes the refereed proceedings of the 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, which took place in Lodz, Poland, during December 2-4, 2020. The 24 full and 3 short papers presented in this volume were carefully reviewed and selected from 40 submissions.

his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th International Conference on Advances in Swarm Intelligence, ICSI 2021, held in Qingdao, China, in July 2021. The 104 full papers presented in this volume were carefully reviewed and selected from 177 submissions.

This book constitutes the refereed proceedings of the 14th International Conference on Blended Learning, ICBL 2021, held online in August 2021. The 30 papers, including 4 keynote papers, were carefully reviewed and selected from 79 submissions.

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021.The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions.

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021.

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021.

This book constitutes the refereed proceedings of the 12th International Conference on Computational Logistics, ICCL 2021, held in September 2021. They detail the interface of complex logistics systems and advanced computational methods from the fields of operations research, business analytics, and artificial intelligence.

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021. The 6 full papers presented were carefully reviewed and selected from 27 submissions.

This book constitutes the proceedings of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, held in Milan, Italy, in March 2021. The 26 full papers presented in this volume were carefully reviewed and selected from 52 submissions.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020. The 12 revised full papers and 3 invited talks presented were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.*The total of 260 full papers and 57 short papers presented in this book set were carefully reviewed and selected from 635 submissions.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.*The total of 260 full papers and 57 short papers presented in this book set were carefully reviewed and selected from 635 submissions.

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021.The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions.

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.*The 14 full papers and 4 short papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 30 submissions.

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021.The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions.

This book constitutes the proceedings of the 15th International Conference on Algorithmic Aspects in Information and Management, AAIM 2021, which was held online during December 20-22, 2021. The conference was originally planned to take place in Dallas, Texas, USA, but changed to a virtual event due to the COVID-19 pandemic.

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions.