Books in the Theoretical Computer Science and General Issues series

The two volumes LNCS 10337 and 10338 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, held in Corunna, Spain, in June 2017.The total of 102 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on natural and artificial computation for biomedicine and neuroscience, addressing topics such as theoretical neural computation; models; natural computing in bioinformatics; physiological computing in affective smart environments; emotions; as well as signal processing and machine learning applied to biomedical and neuroscience applications. The second volume deals with biomedical applications; mobile brain computer interaction; human robot interaction; deep learning; machine learning applied to big data analysis; computational intelligence in data coding and transmission; and applications.

The six volume set LNCS 10404 until 10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. Apart from the general tracks, ICCSA 2017 also include 43 international workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosts the XIV International Workshop On Quantum Reactive Scattering. The program also features 3 keynote speeches and 4 tutorials.

This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions.

The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions.

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017.

This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020.

This book constitutes the proceedings of the 33rd International Conference on Architecture of Computing Systems, ARCS 2020, held in Aachen, Germany, in May 2020.*The 12 full papers in this volume were carefully reviewed and selected from 33 submissions.

This book constitutes the thoroughly refereed joint post-proceedings of the three International Workshops on Grid Middleware, CoreGrid 2006, the UNICORE Summit 2006, and the Workshop on Petascale Computational Biology and Bioinformatics, held in Dresden, Germany, in August/September 2006, in conjunction with Euro-Par 2006, the 12th International Conference on Parallel Computing.

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017. The 135 revised full papers presented in this two-volume set were carefully reviewed and selected from 259 submissions.

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions.

Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 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 proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010.

This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo*2015 events EuroGP, EvoMUSART and EvoApplications.The 19 revised full papers presented were carefully reviewed and selected from 46 submissions. The papers cover methodology, applications and theoretical studies. The methods included evolutionary and memetic (hybrid) algorithms, iterated local search, variable neighbourhood search, ant colony optimization, artificial immune systems, hyper-heuristics and other adaptive approaches. The applications include both traditional domains, such as graph coloring, knapsack, vehicle routing, job-shop scheduling, the p-median and the orienteering problems; and new(er) domains such as designing deep recurrent neural networks, detecting network community structure, lock scheduling of ships, cloud resource management, the fire-fighter problem and AI planning. The theoretical studies involved approximation ratio, runtime and black-box complexity analyses.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures.

This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015. The 13 full papers presented were carefully selected from 63 submissions. molecular motors and molecular robotics;

This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms and applications;

The volume LNCS 9377 constitutes the refereed proceedings of the 12th International Symposium on Neural Networks, ISNN 2015, held in Jeju, South Korea in October 2015.

The four volume set LNCS 9489, LNCS 9490, LNCS 9491, andLNCS 9492 constitutes the proceedings of the 22nd International Conference onNeural Information Processing, ICONIP 2015, held in Istanbul, Turkey, inNovember 2015. The 231 full papers presented were carefully reviewed andselected from 375 submissions.

The four volume set LNCS 9489, LNCS 9490, LNCS 9491, andLNCS 9492 constitutes the proceedings of the 22nd International Conference onNeural Information Processing, ICONIP 2015, held in Istanbul, Turkey, inNovember 2015. The 231 full papers presented were carefully reviewed andselected from 375 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015. The 22 revised full papers presented were carefully reviewed and selected from 34 submissions.

This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014. The 22 full papers presented were carefullyreviewed and selected from 60 submissions.

This book constitutes the thoroughly refereedpost-conference proceedings of the 6th International Conference on MathematicalAspects of Computer and Information Sciences, MACIS 2015, held in Berlin,Germany, in November 2015.The 48 revised papers presented together with 7 invitedpapers were carefully reviewed and selected from numerous submissions. Thepapers are grouped in topical sections on curves and surfaces, appliedalgebraic geometry, cryptography, verified numerical computation, polynomialsystem solving, managing massive data, computational theory of differential anddifference equations, data and knowledge exploration, algorithm engineering ingeometric computing, real complexity: theory and practice, global optimization,and general session.

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.

This book constitutes revised selected papers from the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015, held in Garching, Germany, in June 2015. The 32 papers presented in this volume were carefully reviewed and selected from 79 submissions. structural graph theory; graph drawing;

theory of parallel evolutionary algorithms; promoting diversity in evolutionary optimization: why and how; evolutionary multi-objective optimization; a bridge between optimization over manifolds and evolutionary computation; runtime analysis of evolutionary algorithms: basic introduction;