Books in the Lecture Notes in Computer Science series

This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.

This book constitutes the proceedings of the 4th InternationalConference on Algorithms for Computational Biology, AlCoB 2017, held in Aveiro, Portugal, in June 2017. The 10 full papers presented together with 2 invited papers were carefully reviewed and selected from 24 submissions.

Accepted papers were grouped into various subtopics including information retrieval, machine learning, pattern recognition, knowledge discovery, classification, clustering, image processing, network security, speech processing, natural language processing, language, cognition and computation, fuzzy sets, and business intelligence.

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017. The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions.

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web Conference, ESWC 2017, held in Portoroz, Slovenia. The 51 revised full papers presented were carefully reviewed and selected from 183 submissions.

This book constitutes the proceedings of the 9th International Conference on Cross-Cultural Design, CCD 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017.

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.

This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016. The revised 9 full papers were carefully reviewed and selected from 11 submissions.

This conference bundles the activities of the International Conference on Serious Games Development and Applications, SGDA, and the Conference on Serious Games, GameDays.The total of 36 full papers and 5 short papers was carefully reviewed and selected from numerous submissions.

theory of parallel evolutionary algorithms; promoting diversity in evolutionary optimization: why and how; evolutionary multi-objective optimization; a bridge between optimization over manifolds and evolutionary computation; runtime analysis of evolutionary algorithms: basic introduction;

The two-volume set, LNCS 9878 and 9879 constitutes the refereed proceedings of the 21st European Symposium on Research in Computer Security, ESORICS 2016, held in Heraklion, Greece, in September 2016. The 60 revised full papers presented were carefully reviewed and selected from 285 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Geographic Information Science, GIScience 2016, held in Montreal, QC, Canada, in September 2016. The papers are organized in topical sections such as spatial algorithms; spatial analysis;

The two-volume set, LNCS 9878 and 9879 constitutes the refereed proceedings of the 21st European Symposium on Research in Computer Security, ESORICS 2016, held in Heraklion, Greece, in September 2016. The 60 revised full papers presented were carefully reviewed and selected from 285 submissions.

This book constitutes the refereed proceedings oft he 19th International Symposium on Research in Attacks, Intrusions, and Defenses, RAID 2016, held in Evry, France, in September 2016. The 21 full papers presented were carefully reviewed and selected from 85 submissions. They are organized around the following topics: systems security;

This book constitutes the proceedings of the 13th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2016, held in Sant Julia de Loria, Andorra, in September 2016. The 22 revised full papers presented together with three invited talks were carefully reviewed and selected from 36 submissions.

This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. They deal with cutting-edge research in all major disciplines of Computer Algebra.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Combinatorial Optimization, ISCO 2016, held in Vietri sul Mare, Italy, in May 2016. They present original research on all aspects of combinatorial optimization, such as algorithms and complexity;

This book constitutes the refereed proceedings of the 9th International Conference on Trust and Trustworthy Computing, TRUST 2016, held in Vienna, Austria, in August 2016. The 8 full papers presented in this volume were carefully reviewed and selected from 25 submissions.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Belief Functions, BELIEF 2016, held in Prague, Czech Republic, in September 2016. The 25 revised full papers presented in this book were carefully selected and reviewed from 33 submissions.

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and optimization.

This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions.

This book constitutes the refereed proceedings of the 19th International Conference on Text, Speech, and Dialogue, TSD 2016, held in Brno, CzechRepublic, in September 2016. The 62 papers presented together with 3 abstracts of invited talks were carefully reviewed and selected from 127 submissions.

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.