Books in the Lecture Notes in Computer Science series

This two volume set LNCS 9827 and LNCS 9828 constitutes the refereed proceedings of the 27th International Conference on Database and Expert Systems Applications, DEXA 2016, held in Porto, Portugal, September 2016. Distributed and Big Data Processing; Data Integration, and Interoperability; Semantic Web, and Data Semantics; Data Analysis;

This two volume set LNCS 9827 and LNCS 9828 constitutes the refereed proceedings of the 27th International Conference on Database and Expert Systems Applications, DEXA 2016, held in Porto, Portugal, September 2016. Distributed and Big Data Processing; Data Integration, and Interoperability; Semantic Web, and Data Semantics; Data Analysis;

The JIST 2015 conference consisted of main technical tracksincluding 2 keynotes, 2 invited talks, a regular technical paper track (fulland short papers), an in-use track, a poster and demo session, workshop, andtutorial. The 14 full and 8 short papers in this volume were carefullyreviewed and selected from 43 submissions.

This bookconstitutes revised selected papers from the 9th International Conference onCritical Information Infrastructures Security, CRITIS 2014, held in Limassol,Cyprus, in October 2014. security of water systems; powerand energy system security; security and recovery policies, cyber security; andsecurity tools and protocols.

This book constitutes the thoroughly refereedpost-conference proceedings of the 7th International Conference on TrustedSystems, INTRUST 2015, held in Beijing, China, in December 2015. The revised 12 full papers presented have beencarefully reviewed and selected from 29 submissions.

This bookconstitutes the thoroughly refereed proceedings of the 8th International Conference on theTheory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2016,held in Fes, Morooco, in April 2016. The 18papers presented in this book were carefully reviewed and selected from 65submissions.

This book constitutes therefereed proceedings of the 11th International Conference on PersuasiveTechnology, PERSUASIVE 2016, held in Salzburg, Austria, in April 2016. The 27 revised full papers and 3 revised short papers presented were carefullyreviewed and selected from 73 submissions.

This book constitutes the thoroughly refereedpost-conference proceedings of the Third Annual Privacy Forum, APF 2015, heldin Luxembourg, Luxembourg, in October 2015. The 11 revised full papers presented in this volume werecarefully reviewed and selected from 24 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 11 revised full papers were carefully selected out of 13 initial submissions.

This book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017, held in Hsinchu, Taiwan, in March 2017. The 35 full papers presented together with three invited talks were carefully reviewed and selected from 83 submissions. graph algorithms;

This book constitutes the proceedings of the 13th International Symposium on Smart Graphics, SG 2015, held in Chengdu, China, in August 2015. The 17 full and 3 short papers presented in this volume were carefully reviewed and selected from 35 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions.

This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift.

This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016.

This bookconstitutes the thoroughly revised selected papers of the workshops of the 14thInternational Conference of Web Based Learning, ICWL 2015, held in Guangzhou,China, in November 2015. Thefirst International Workshop on User Modeling for Web Based Learning, IWUM 20153. TheInternational Workshop on Learning Analytics

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.

This book constitutes theproceedings of the 29th International Conference on Architecture of ComputingSystems, ARCS 2016, held in Nuremberg, Germany, in April 2016. The 29 full papers presented in this volume werecarefully reviewed and selected from 87 submissions.network-on-chip and secure computing architectures; organic computing systems;

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.Initially there were 64 submissions, but 29 were actually presented of which 18 full papers have been accepted. The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.

This book constitutes the thoroughly refereed post-conference proceedings of the Second COST Action IC1302 International KEYSTONE Conference on Semantic Keyword-Based Search on Structured Data Sources, IKC 2016, held in Cluj-Napoca, Romania, in September 2016.

This book constitutes the proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2017, held in Grenoble, France, in Feburary 2017. audio signal processing; physics and bio signal processing; and sparsity-aware signal processing.

This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016. The 17 revised full papers were carefully reviewed and selected from 149 initial submissions.