Books in the Lecture Notes in Computer Science series

The volume contains 12poster and 22 demonstration papers, selected from 50 submissions, as well as 22best workshop papers selected from 140 papers presented at the 16 workshopsthat took place at ESWC 2015.

This book constitutes the refereed proceedings of the 6th International Conference on Decision and Game Theory for Security, GameSec 2015, held in London, UK, in November 2015. The 16 revised full papers presented together with 5 short papers were carefully reviewed and selected from 37 submissions.

This book constitutes the proceedings of the 9thInternational and Interdisciplinary Conference on Modeling and Using Context,CONTEXT 2015, held in Larnaca, Cyprus, in November 2015. The 33 full papers and 13 short papers presented werecarefully reviewed and selected from 91 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Social Robotics, ICSR 2015, held in Paris, France, in October 2015. The 70 revised full papers presented were carefully reviewed and selected from 126 submissions. The papers focus on the interaction between humans and robots and the integration of robots into our society and present innovative ideas and concepts, new discoveries and improvements, novel applications on the latest fundamental advances in the core technologies that form the backbone of social robotics, distinguished developmental projects, as well as seminal works in aesthetic design, ethics and philosophy, studies on social impact and influence pertaining to social robotics, and its interaction and communication with human beings and its social impact on our society.

This book constitutes the thoroughly refereedpost-conference proceedings of the Third International Conference on PatternRecognition, ICPRAM 2014, held in Angers, France, in March 2014.The 18 revised full papers were carefully reviewed andselected from 179 submissions and describe up-to-date applications of PatternRecognition techniques to real-world problems, interdisciplinary research,experimental and/or theoretical studies yielding new insights that advancePattern Recognition methods.

This book constitutes the proceedings of the 18thInternational Conference on Principles and Practice of Multi-Agent Systems,PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in thisvolume were carefully reviewed and selected from 94 submissions.

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation. 

This book constitutes the refereed proceedings of the 14th International Conference on Web-Based Learning, ICWL 2015, held in Guangzhou, China, in Noavember 2015. The 18 revised full papers presented together with 2 invited papers and 7 short papers were carefully reviewed and selected from about 79 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Conference on Financial Cryptography and Data Security, FC 2016, held in Christ church, Barbados, in February 2016. The 27 revised full papers and 9 short papers were carefully selected and reviewed from 137 full papers submissions.

The papers discuss research results and applications in the intersection of pattern recognition, image analysis, graph theory, and also the application of graphs to pattern recognition problems in other fields like computational topology, graphic recognition systems and bioinformatics.

This book constitutes the refereed proceedings of the 8th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2017, held in Faro, Portugal, in June 2017. They are organized in topical sections named: Pattern Recognition and Machine Learning; Image and Signal Processing;

This book constitutes the refereed proceedings of the 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, held in Kolding, Denmark, in June 2017. The papers are organized in the following topical sections: Scale Space and PDE Methods;

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. combinatorics in computer science; applications of logic to computer science, e.g.

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology;

This book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 26 submissions.

This book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.

This book constitutes the refereed proceedings of the 32nd International Conference, ISC High Performance 2017, held in Frankfurt, Germany, in June 2017. The 22 revised full papers presented in this book were carefully reviewed and selected from 66 submissions. The papers cover the following topics: applications and algorithms;

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 17 papers presented in the 12th issue were organized in four parts dealing with: games; human-computer interaction; image and graphics; and applications. 

This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015. The conference hosted the following seven workshops: 11th International Workshop on Engineering Service-Oriented Applications, WESOA 2015;

The LNCS journal Transactions on ComputationalScience reflects recent developments in the field of Computational Science,conceiving the field not as a mere ancillary science but rather as aninnovative approach supporting many other scientific disciplines.

The 47 revised full papers presented together with three invited talks were carefully reviewed and selected from 204 submissions. In addition, the PhD Symposium program included 10 contributions, selected out of 21 submissions. The core tracks of the research conference were complemented with new tracks focusing on linked data;

This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2016, held in Banff, Canada, in May/June 2016.The 21 full papers presented together with 8 short papers were carefully reviewed and selected from 51 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in combinatorial optimization and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.

The topics addressed are: wireless technologies and systems, middleboxes and addressing, energy efficiency, network applications and tools, network protocols, network modeling, wireless sensor networks, and resource management and optimization.

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions;

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015. The 36 papers presented in this volume were carefully reviewed and selected from 65 submissions.