Books in the Lecture Notes in Computer Science series

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 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 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;

The two-volume set LNCS 9242 + 9243 constitutes the proceedings of the 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, held in Suzhou, China, in June 2015.

The two-volume set LNCS 9242 + 9243 constitutes the proceedings of the 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, held in Suzhou, China, in June 2015.

This book constitutes the proceedings of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India, in November 2015. data services and cloud platform management; cloud services management; cloud services;

This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS 2015, held in Kiel, Germany, in September 2015 under the auspices of the EATCS. The 14 revised full papers presented were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Scalable Uncertainty Management, SUM 2015, held in Québec City, QC, Canada, in September 2015. The 25 regular papers and 3 short papers were carefully reviewed and selected from 49 submissions. The call for papers for SUM 2015 solicited submissions in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.

This book constitutes the refereed proceedings of the 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, held in Coimbra, Portugal, in September 2015. The 45 revised full papers presented together with 36 revised short papers were carefully reviewed and selected from a total of 131 submissions. EPIA 2015, following the standard EPIA format, covers a wide range of AI topics as follows: ambient intelligence and affective environments, artificial Intelligence in medicine, artificial intelligence in transportation systems, artificial life and evolutionary algorithms, computational methods in bioinformatics and systems biology, general artificial intelligence, intelligent information systems, intelligent robotics, knowledge discovery and business intelligence, multi-agent systems: theory and applications, social simulation and modelling, text mining and applications.

The papers focus on face, fingerprint and palmprint, vein biometrics, iris and ocular biometrics, behavioral biometrics, application and system of biometrics, multi-biometrics and information fusion, other biometric recognition and processing.

This book constitutes the refereed proceedings of the 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, held in Ljubljana, Slovenia, in September/October 2015. The focus of the conference was on following topics: sustainable education in informatics for pupils of all ages;

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 two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015.

The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015.

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.

The two-volume set LNCS 9734 and 9735 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, Canada, in July 2016. HCII 2016 received a total of 4354 submissions of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas This volume contains papers addressing the following major topics: communication, collaboration and decision-making support, information in e-learning and e-education, access to cultural heritage, creativity and art, e-science and e-research, information in health and well-being.

This book constitutes the refereed proceedings of the First Conference on Cybersecurity of Industrial Control Systems, CyberICS 2015, and the First Workshop on the Security of Cyber Physical Systems, WOS-CPS 2015, held in Vienna, Austria, in September 2015 in conjunction with ESORICS 2015, the 20th annual European Symposium on Research in Computer Security.The 6 revised full papers and 2 short papers of CyberICS 2015 presented together with 3 revised full papers of WOS-CPS 2015 were carefully reviewed and selected from 28 initial submissions. CyberICS 2015 focuses on topics covering ICSs, including cyber protection and cyber defense of SCADA systems, plant control systems, engineering workstations, substation equipment, programmable logic controllers, PLCs, and other industrial control system. WOS-CPS 2015 deals with the Security of Cyber Physical Systems, that exist everywhere around us, and range in size, complexity and criticality, from embedded systems used in smart vehicles, to SCADA systems in smart grids to control systems in water distribution systems, to smart transportation systems etc.  

The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in Science and Engineering, HPCSE 2015, held in Solan, Czech Republic, in May 2015. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.

The two-volume set LNCS 9734 and 9735 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, Canada, in July 2016. HCII 2016 received a total of 4354 submissions of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas This volume contains papers addressing the following major topics: information presentation; big data visualization; information analytics; discovery and exploration; interaction design, human-centered design; haptic, tactile and multimodal interaction.

This book constitutes the refereed proceedings of the 10th International Conference on E-Learning and Games, Edutainment 2016, held in Hangzhou, China, in April 2016. The 36 full papers presented were carefully reviewed and selected from 60 submissions. They are organized in the following topical sections: E-learning and game;

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-ComputerInteraction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive.

This book constitutes the refereed proceedings of the 7th International Conference on Digital Human Modelling: Applications in Health, Safety, Ergonomics and Risk Management, DHM 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers addressing the following major topics: anthropometry, ergonomics, design and comfort; physiology and anatomy models; motion prediction and recognition; quality and safety in healthcare; design for health; work design and support; modeling human behavior and cognition.

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive. 

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive.

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.