Books in the Lecture Notes in Computer Science series

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Smart Card Research and Advanced Applications, CARDIS 2017, held in Lugano, Switzerland, in November 2017.The 14 revised full papers presented together with 2 abstracts of invited talks in this book were carefully reviewed and selected from 48 submissions. CARDIS has provided a space for security experts from industry and academia to exchange on security of smart cards and related applications.

This book constitutes the refereed post-conference proceedings of the 22nd Iberoamerican Congress on Pattern Recognition, CIARP 2017, held in Valparaiso, Chile, in November 2017. The 87 papers presented were carefully reviewed and selected from 156 submissions.

This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Information Security and Cryptology, Inscrypt 2017, held in Xi''an, China, in November 2017.The 27 revised full papers presented together with 5 keynote speeches were carefully reviewed and selected from 80 submissions. The papers are organized in the following topical sections: cryptographic protocols and algorithms; digital signatures; encryption; cryptanalysis and attack; and applications.

This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018. The 16 full papers, 4 PhD track papers, and 9 tool papers presented in this volume were carefully reviewed and selected from 42 submissions.

This book constitutes the refereed post-conference proceedings of the 29th International Workshop on Combinatorial Algorithms, IWOCA 2018, held in Singapore, Singapore, in July 2018. The 31 regular papers presented in this volume were carefully reviewed and selected from 69 submissions. They cover diverse areas of combinatorical algorithms, complexity theory, graph theory and combinatorics, combinatorial optimization, cryptography and information security, algorithms on strings and graphs, graph drawing and labelling, computational algebra and geometry, computational biology, probabilistic and randomised algorithms, algorithms for big data analytics, and new paradigms of computation.

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 the proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2018, held in Toledo, Spain, in June 2018. They deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, such as: energy and security;

This book constitutes the refereed proceedings of the 10th International Conference on Articulated Motion and Deformable Objects, AMDO 2018, held in Palma de Mallorca, Spain, in July 2018. The 12 papers presented were carefully reviewed and selected from 26 submissions. 3D human reconstruction and recognition;

This book constitutes the proceedings of the 16th International Conference on Smart Homes and Health Telematics, ICOST 2018, held in Singapore, Singapore, in July 2018.

The papers are organized in topical sections named: Experiences in Blended Learning, Content Development for Blended Learning, Assessment for Blended Learning, Computer-Support Collaborative Learning, Improved Flexibility of Learning Processes, Open Educational Resources, and Pedagogical and Psychological Issues.

This book constitutes the refereed proceedings of the 10th International Symposium on Engineering Secure Software and Systems, ESSoS 2018, held in Paris, France, in June 2018.

This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, USA, in June 2018. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 22 submissions.

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 International Conference on Services Computing, SCC 2018, as part of SCF 2018, held in Seattle, WA, USA, in June 2018. The papers cover the science and technology of leveraging computing and information technology to model, create, operate, and manage business services.

This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2018, held in Seattle, WA, USA, in June 2018. The contributions are organized in topical sections named: Research Track - Architecture; Research Track - Smart IoT;

This book constitutes the proceedings of the International Conference on Artificial Intelligence and Mobile Services, AIMS 2018, held as part of SCF 2018, in Seattle, WA, USA, in June 2018.

This book constitutes the proceedings of the International Conference on Edge Computing, EDGE 2018, held in Seattle, WA, USA, in June 2018. The 9 full papers and 3 short paper presented in this volume were carefully reviewed and selected from 29 submissions. and Short Paper Track.

They are organized in topical sections such as Web Services, RESTful web services, Web Services Description Langugage, Universal Description Discovery and Integration, Service discovery and interfaces, Domain-specific security and privacy architectures, Location bases services, Sercurity Services and Markup languages.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018.

This book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2018, held as part of SCF 2018, in Seattle, WA, USA, in June 2018.

This volume constitutes the proceedings of the 11th International Conference on Cloud Computing, CLOUD 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, WA, USA, in June 2018.The 26 full papers presented together with 3 short papers were carefully reviewed and selected from 108 submissions.

This book constitutes the proceedings of the 13th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2018, held in Tianjin, China, in June 2018. The 59 full papers and 18 short papers presented in this book were carefully reviewed and selected from 197 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Image and Signal Processing, ICISP 2018, held in Cherbourg, France, in July 2018. The 58 revised full papers were carefully reviewed and selected from 122 submissions.

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.

This book constitutes the refereed proceedings of the Second International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2018, held in Beer-Sheva, Israel, in June 2018. The 16 full and 6 short papers presented in this volume were carefully reviewed and selected from 44 submissions.

This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions.

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. formal analysis for modeling languages, such as UML/state charts;

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018. The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. combinatorics in computer science;