Bücher der Reihe Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. logical foundations of database theory;

This book constitutes the proceedings of the 5th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2019, held in Kharagpur, India, in February 2019.The 22 papers presented together with 3 invited papers in this volume were carefully reviewed and selected from 86 submissions.The conference had papers in the areas of algorithms, graph theory, combinatorics, computational geometry, discrete geometry, and computational complexity.

Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions.

The three-volume set LNCS 10860, 10861 + 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018. The total of 155 full and 66 short papers presented in this book set was carefully reviewed and selected from 404 submissions.

This book constitutes the proceedings of the 13th International Conference on Queueing Theory and Network Applications, QTNA 2018, held in Tsukuba, Japan in July 2018.The 8 full papers together with 10 short papers included in this volume were carefully reviewed and selected from 57 initial submissions.

This book constitutes the refereed conference proceedings of the 21st International Conference on the Applications of Evolutionary Computation, EvoApplications 2018, held in Parma, Italy, in April 2018, collocated with the Evo* 2018 events EuroGP, EvoCOP, and EvoMUSART.The 59 revised full papers presented were carefully reviewed and selected from 84 submissions. EvoApplications 2018 combined research from 14 different domains: business analytics and finance (EvoBAFIN); computational biology (EvoBIO); communication networks and other parallel and distributed systems (EvoCOMNET); complex systems (EvoCOMPLEX); energy-related optimization (EvoENERGY); games and multi-agent systems (EvoGAMES); image analysis, signal processing and pattern recognition (EvoIASP); realworld industrial and commercial environments (EvoINDUSTRY); knowledge incorporation in evolutionary computation (EvoKNOW); continuous parameter optimization (EvoNUM); parallel architectures and distributed infrastructures (EvoPAR); evolutionary robotics (EvoROBOT); nature-inspired algorithms in software engineering and testing (EvoSET); and stochastic and dynamic environments (EvoSTOC).

This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 53 submissions.

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018.

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

This book constitutes the thoroughly refereed revised selected papers of the 10th International Conference on Bioinspired Optimization Models and Their Applications, BIOMA 2018, held in Paris, France, in May 2018. The 27 revised full papers were selected from 53 submissions and present papers in all aspects of bioinspired optimization research such as new algorithmic developments, high-impact applications, new research challenges, theoretical contributions, implementation issues, and experimental studies.

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title "Computing and Software Science: State of the Art and Perspectives". They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements.Chapter 3 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 33rd International Conference, ISC High Performance 2018, held in Frankfurt, Germany, in June 2018. The 20 revised full papers presented in this book were carefully reviewed and selected from 81 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions.

The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving.

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions.

This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018.

This book constitutes revised selected papers from the workshops held at 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, which took place in Turin, Italy, in August 2018.

This book constitutes the proceedings of the 24th International Conference on Computing and Combinatorics, COCOON 2018, held in Qing Dao, China, in July 2018. They deal with the areas of algorithms, theory of computation, computational complexity, and combinatorics related to computing.

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018. parallel and distributed data management and analytics; parallel and distributed programming, interfaces, and languages; theory and algorithms for parallel computation and networking;

This book constitutes the proceedings of the 12th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri¿cation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri¿cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.

This book constitutes the proceedings of the 11th International Conference on Swarm Intelligence, ANTS 2018, held in Rome, Italy, in October 2018. The 24 full papers and 12 short papers presented in this volume were carefully reviewed and selected from 69 submissions.

This book constitutes the refereed conference proceedings of the 17th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 201, held in Kuwait City, Kuwait, in October/November 2018. The 65 revised full papers presented were carefully reviewed and selected from 99 submissions. computer science and computer engineering;

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018;

This book constitutes the proceedings of the 11th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2018, held in St. Petersburg, Russia, in October 2018. The 29 full papers presented in this volume were carefully reviewed and selected from 74 submissions.

This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Practice of Natural Computing, TPNC 2017, held in Dublin, Ireland, in December 2018. The 35 full papers presented in this book, together with one invited talk, were carefully reviewed and selected from 69 submissions. The papers are organized around the following topical sections: applications of natural computing as algorithms, bioinformatics, control, cryptography, design, economics. The more theoretical contributions handle with artificial chemistry, artificial immune systems, artificial life, cellular automata, cognitive computing, cognitive engineering, cognitive robotics, collective behaviour, complex systems, computational intelligence, computational social science, computing with words, developmental systems, DNA computing, DNA nanotechnology, evolutionary algorithms, evolutionary computing, evolutionary game theory, fractal geometry, fuzzy control, fuzzy logic, fuzzy sets, fuzzy systems, genetic algorithms, genetic programming, granular computing, heuristics, intelligent agents, intelligent systems, machine intelligence, molecular programming, neural computing, neural networks, quantum communication, quantum computing, rough sets, self-assembly.

The seven-volume set of LNCS 11301-11307 constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions.

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions.