Böcker i Lecture Notes in Computer Science-serien

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.

This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;

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 refereed proceedings of the 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, held in Victoria, BC, Canada, in May/June 2016. The 12 full papers and 27 short papers presented were carefully reviewed and selected from 97 submissions.

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

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 book constitutes the refereed proceedings of the 7th International Conference, ICISP 2016, held in May/June 2016 in Trois-Rivieres, QC, Canada. The 40 revised full papers were carefully reviewed and selected from 83 submissions. multispectral and color imaging; image filtering, segmentation, and super-resolution;

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

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.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Future and Emergent Trends in Language Technology, FETLT 2015, held in Seville, Spain, in November 2015.The 10 full papers presented together with 3 position papers and 7 invited keynote abstracts were selected from numerous submissions. The structure of the Workshop will feature a significant number of experts in language technologies and convergent areas. One objective will be the organization of forum sessions in order to review some of the current-trend research projects that are already addressing new methodological approaches and proposing solutions and innovative applications. A second major objective will be brainstorming sessions where representatives of the most innovative industrial sector in this area can present and describe the challenges and socio-economic needs of the present and immediate future. All researchers are invited to submit proposals that incorporate solid research and innovation ideas in the field of language technology and in connection with other convergent areas.

This book constitutes therefereed proceedings of the 18th International Conference on IntegerProgramming and Combinatorial Optimization, IPCO 2016, held in Liege, Belgium,in June 2016.

This book constitutes the refereed proceedings of the 5th InternationalSymposium on Conformal and Probabilistic Prediction with Applications, COPA2016, held in Madrid, Spain, in April 2016.The 14 revised fullpapers presented together with 1 invited paper were carefully reviewed andselected from 23 submissions and cover topics on theory of conformal prediction; applicationsof conformal prediction; and machine learning.

This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.

This book constitutes the refereed proceedings of the 17th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2015, held in Saint Malo, France, in September 2015. side-channel attacks on public key cryptography; side-channel analysis and fault injection attacks; higher-order side-channel attacks;

This book constitutes the proceedings of the 6th International Workshop on Human Behavior Understanding, HBU 2015, held in Osaka, Japan, in September 2015. The 11 full papers were carefully reviewed and selected from 15 initial submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2015, held in Mallorca, Spain, in September 2015. The 30 full papers presented together with 4 short papers were carefully reviewed and selected from numerous submissions.

The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015. The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions.

This book constitutes the refereed proceedings of the 6th International Conference of the CLEF Initiative, CLEF 2015, held in Toulouse, France, in September 2015.