Books in the Lecture Notes in Computer Science series

This book constitutes the proceedings of the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016, held in Ljubljana, Slovenia, in June 2016. The 35 papers presented in this volume were carefully reviewed and selected from 211 submissions. The program included the following paper sessions: Collaboration, Business Process Modeling. Innovation, Gamication, Mining and Business Process Performance, Requirements Engineering, Process Mining, Conceptual Modeling, Mining and Decision Support, Cloud and Services, Variability and Configuration, Open Source Software, and Business Process Management.

This book constitutes the refereed proceedings of the 10th International Workshop on Hybrid Metaheuristics, HM 2016, held in Plymouth, UK, in June 2016. The 15 revised full papers presented were carefully reviewed and selected from 43 submissions.

The two volume set LNCS 9758 and 9759, constitutes the refereed proceedings of the 15th International Conference on Computers Helping People with Special Needs, ICCHP 2015, held in Linz, Austria, in July 2016. The 115 revised full papers and 48 short papers presented were carefully reviewed and selected from 239 submissions.

The two volume set LNCS 9758 and 9759, constitutes the refereed proceedings of the 15th International Conference on Computers Helping People with Special Needs, ICCHP 2015, held in Linz, Austria, in July 2016. The 115 revised full papers and 48 short papers presented were carefully reviewed and selected from 239 submissions.

This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in Bergamo, Italy, in July 2016. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Blended Learning, ICBL 2016, held in Beijing, China, in July 2016.

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016.

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015.

This book constitutes the refereed proceedings of the Fourth International Conference on Advances in Visual Informatics, IVIC 2015, held in Bangi, Malaysia, in November 2015. The five keynotes and 45 papers presented were carefully reviewed and selected from 82 initial submissions.

This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2015, held Catania, Italy, in October 2015.

This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015.The 18 revised full papers presented were carefully reviewed and selected from 36 submissions.

This book constitutes the refereed proceedings of the 8th International Symposium on Algorithmic Game Theory, SAGT 2015, held in Saarbrucken, Germany, in September 2015. The 22 full papers presented together with one extended abstract and 6 brief announcements were carefully reviewed and selected from 63 submissions.

This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.

This book constitutes the thoroughly refereed conferenceproceedings of the Third International Workshop on Risk Assessment andRisk-driven Testing, RISK 2015, held in conjunction with the OMG TechnicalMeeting in Berlin, Germany, in June 2015. The revised 8 full papers were carefully reviewed and selectedfrom 12 submissions.

This book constitutes the refereed proceedings of the 7th International Work-Conference on Ambient Assisted Living, IWAAL 2015, held in Puerto Varas, Chile, in December 2015. The 20 full papers presented with 7 short papers were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2015, held in Puerto Varas, Chile, in December 2015. The 36 full papers presented together with 11 short papers were carefully reviewed and selected from 62 submissions.

This book constitutes the refereed proceedings of the 18th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2015, held in Kyoto, Japan, in November 2015. The 28 full papers were carefully reviewed and selected from 119 submissions.

This book constitutes the refereed proceedings of the 28th Australasian Joint Conference on Artificial Intelligence, AI 2015, held in Canberra, Australia, in November/December 2015. The 39 full papers and 18 short papers presented were carefully reviewed and selected from 102 submissions.

This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015.

This book constitutes the proceedings of the 26th International Conference on Algorithmic Learning Theory, ALT 2015, held in Banff, AB, Canada, in October 2015, and co-located with the 18th International Conference on Discovery Science, DS 2015.

This book constitutes the refereed proceedings of theSecond International Conference on Data Science, ICDS 2015, held in Sydney,Australia, during August 8-9, 2015. The 19 revised full papers and 5 short papers presentedwere carefully reviewed and selected from 31 submissions. data quality and data preparation;

This book constitutes the proceedings of the First International Workshop on Multimodal Retrieval in the Medical Domain, MRMD 2015, held in Vienna, Austria, on March 29, 2015.

To facilitate this, IDA 2015 will feature two tracks: a regular "Proceedings" track, as well as a "Horizon" track for early-stage research of potentially ground-breaking nature.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2014, held in Cambridge, UK, in June 2014. The 25 revised full papers presented were carefully reviewed and selected from 44 submissions.

The two-volume proceedings LNCS 9665 + 9666constitutes the thoroughly refereed proceedings of the 35th AnnualInternational Conference on the Theory and Applications of CryptographicTechniques, EUROCRYPT 2016, held in Vienna, Austria, in May 2016.

The two-volume proceedings LNCS 9665 + LNCS 9666 constitutes the thoroughly refereed proceedings of the 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2016, held in Vienna, Austria, in May 2016.

This book constitutes the proceedings of the 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, held in Warsaw, Poland, in September 2015. The 47 papers presented in this volume were carefully reviewed and selected from about 80 submissions.