Books in the Lecture Notes in Computer Science series

This book constitutes the proceedings of the 7th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2017,held in Kolkata, India, in December 2017. The total of 86 full papers presented in this volume were carefully reviewed and selected from 293 submissions.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

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

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017.

This book constitutes the proceedings of the 19th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2017, held in Taipei, Taiwan, in September 2017. The annual CHES conference highlights new results in the design and analysis of cryptographic hardware and soft- ware implementations.

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.

This book constitutes the refereed proceeding of the 23rd International Conference on Collaboration and Technology, CRIWG 2017, held in Saskatoon, Canada, in August 2017. The 14 full papers presented together with 5 work-in-progress papers were carefully reviewed and selected from 33 submissions.

The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017. The 72 revised full papers presented were carefully reviewed and selected from 311 submissions.

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017. The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions.

The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017. The 72 revised full papers presented were carefully reviewed and selected from 311 submissions.

The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017. The 72 revised full papers presented were carefully reviewed and selected from 311 submissions.

This two -volume set, LNCS 10366 and 10367, constitutes the thoroughly refereed proceedings of the First International Joint Conference, APWeb-WAIM 2017, held in Beijing, China in July 2017. The 44 full papers presented together with 32 short papers and 10 demonstrations papers were carefully reviewed and selected from 240 submissions.

This two -volume set, LNCS 10366 and 10367, constitutes the thoroughly refereed proceedings of the First International Joint Conference, APWeb-WAIM 2017, held in Beijing, China in July 2017. The 44 full papers presented together with 32 short papers and 10 demonstrations papers were carefully reviewed and selected from 240 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Knowledge Science, Engineering and Management, KSEM 2017, held in Melbourne, Australia, in August 2017. The 35 revised full papers and 12 short papers presented were carefully reviewed and selected from 134 submissions. knowledge management;

This book constitutes the proceedings of the 6th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2017, held in Stanford, CA, USA, in July 2017.The 42 full and 19 short papers presented in this volume were carefully reviewed and selected from 63 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion,applications, and tools.

This book constitutes the refereed proceedings of the 9th International Conference on Collaboration Technologies, CollabTech 2017, held in Saskatoon, SK, Canada, in August 2017. The 10 revised full papers presented in this book together with 6 short papers were carefully reviewed and selected from 37 submissions.

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017. The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on E-Learning and Games, Edutainment 2017, held in Bournemouth, United Kingdom, in June 2017. They are organized in the following topical sections: Virtual reality and augmented reality in edutainment; gamification for serious game and training;

This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017. The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions.

This book constitutes the refereed proceedings of the 8th International Conference of the CLEF Initiative, CLEF 2017, held in Dublin, Ireland, in September 2017. The 7 full papers and 9 short papers presented together with 6 best of the labs papers were carefully reviewed and selected from 38 submissions.