Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. new paradigms for model transformation; and foundations of model transformation.

Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t.

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. applications: technical papers, and tool presentations.

This volume constitutes the refereed proceedings of the 7th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCI 2015, held in Los Angeles, CA, USA, in August 2015.

The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data mining methods for the different multimedia data types such as image mining, text mining, video mining and Web mining.

The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions.

The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions.

This book constitutes the refereed proceedings of the 15th Industrial Conference on Advances in Data Mining, ICDM 2015, held in Hamburg, Germany, in July 2015. The 16 revised full papers presented were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Computer Vision Systems, ICVS 2015, held in Copenhagen, Denmark, in July 2015. The paper are organized in topical sections on biological and cognitive vision; hardware-implemented and real-time vision systems; high-level vision; and vision systems applications.

The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions.

This volume constitutes the refereed proceedings of the Second International Conference on HCI in Business, HCIB 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, which took place in Los Angeles, CA, USA, in August 2015.

The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

This book constitutes the proceedings of the 9th International Conference on the Foundations of Augmented Cognition, AC 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, which took place in Los Angeles, CA, USA, in August 2015.

This book constitutes the refereed proceedings of the 29th Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2015, held in Fairfax, VA, USA, in July 2015. The 18 revised full papers and 6 short papers presented were carefully reviewed and selected from 45 submissions.

This book constitutes the refereed proceedings of the Third International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically conferences.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Image Analysis and Recognition, ICIAR 2015, held in Niagara Falls, ON, Canada, in July 2015. The papers are organized in the following topical sections: image quality assessment; image segmentation, registration and analysis; medical image analysis;

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.

This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work.