Books in the Lecture Notes in Computer Science series

This book constitutes the proceedings of the 13th International Conference on Distributed Computing and Internet Technology, ICDCIT 2017, held in Bhubaneswar, India, in January 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016. The 14 full papers presented together with 9 short papers and 2 GENOPT papers were carefully reviewed and selected from 47 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Swarm Intelligence Based Optimization, ICSIBO 2016, held in Mulhouse, France, in June 2016.

This book constitutes the refereed proceedings of the 17th International Conference on Cryptology in India, INDOCRYPT 2016, held in Kolkata, India, in December 2016.

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

This book constitutes the refereed proceedings of the 12th International Conference on Information Systems Security, ICISS 2016, held in Jaipur, India, in December 2016. The 24 revised full papers and 8 short papers presented together with 4 invited papers were carefully reviewed and selected from 196 submissions.

The workshop gathered the researchers who are working on graph-theoretic and algorithmic aspects of related complex networks, including social networks, citation networks, biological networks, molecular networks, and other networks arising from the Internet.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Big Data Benchmarking, WBDB 2015, held in Toronto, ON, Canada, in June 2015 and the 7th International Workshop, WBDB 2015, held in New Delhi, India, in December 2015.

They discuss the emerging areas and challenges, present the state of the art of brain-inspired cognitive systems research and applications in diverse fields by covering many topics in brain inspired cognitive systems related research including biologically inspired systems, cognitive neuroscience, models consciousness, and neural computation.

This book constitutesrevised selected papers from the 10th International Conference on CriticalInformation Infrastructures Security, CRITIS 2015, held in Berlin, Germany, inOctober 2015. They are organized in topical sections named: critical informationinfrastructure protection; critical infrastructure resilience assessment;

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th OWL: Experiences and Directions Workshop, OWLED 2015, held in Bethlehem, PA, USA, in October 2015, co-located with ISWC 2015, the International Semantic Web Conference. The 18 revised papers presented were carefully reviewed and selected from 35 initial submissions. Bridging the gap between ontology engineering practices and software engineering, the papers describe reuse methods employed throughout the ontology development cycle; modeling / terminological decisions, alignment and comparison between ontologies, how ontologies are stored, versioned, distributed, and consumed over the Web.

This book constitutes the refereed proceedings of the 7th International Conference on Computational Logistics, ICCL 2016, held in Lisbon, Portugal, in September 2016. The 29 papers presented in this volume were carefully reviewed and selected for inclusion in the book.

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

The two volume set, LNCS 9886 + 9887, constitutes the proceedings of the 25th International Conference on Artificial Neural Networks, ICANN 2016, held in Barcelona, Spain, in September 2016. The 121 full papers included in this volume were carefully reviewed and selected from 227 submissions.

The two volume set, LNCS 9886 + 9887, constitutes the proceedings of the 25th International Conference on Artificial Neural Networks, ICANN 2016, held in Barcelona, Spain, in September 2016. The 121 full papers included in this volume were carefully reviewed and selected from 227 submissions.

This book constitutes the refereed conference proceedings of the 4th Annual Privacy Forum, APF 2016, held in Frankfurt/Main, Germany, in September 2016. The 12 revised full papers presented in this volume were carefully reviewed and selected from 32 submissions. and privacy policies and privacy risk presentation.

This book constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2016, held in Varna, Bulgaria in September 2015. The 32 revised full papers 6 poster papers presented were carefully reviewed and selected from 86 submissions.

This book constitutes the refereed proceedings of the 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, held in Salamanca, Spain, in September 2016. The 47 revised full papers presented were carefully selected from 166 submissions.

This book constitutes the proceedings of the 10th International Conference on Security and Cryptography, SCN 2016, held in Amalfi, Italy, in August/September 2016. The 30 papers presented in this volume were carefully reviewed and selected from 67 submissions. multi-party computation; outsourcing computation; two-party computation;

This book constitutes the refereed proceedings of the 7th International Conference of the CLEF Initiative, CLEF 2016, held in Toulouse, France, in September 2016. The 10 full papers and 8 short papers presented together with 5 best of the labs papers were carefully reviewed and selected from 36 submissions.

This book constitutes the proceedings of the 27th International Workshop on Combinatorial Algorithms, IWOCA 2016, held in Helsinki, Finland, in August 2016. The 35 papers presented in this volume were carefully reviewed and selected from 87 submissions. online algorithms; combinatorial algorithms; graph algorithms;

This book constitutes the refereed proceedings of the 11th International Workshop on Security, IWSEC 2016, held in Tokyo, Japan, in September 2016. The 15 regular papers and 4 short papers presented in this volume were carefully reviewed and selected from 53 submissions. They were organized in topical sections named: system security;

This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016. The 16 full papers presented were carefully reviewed and selected from 33 submissions.

This book constitutes the proceedings of the 10th International Conference on Swarm Intelligence, ANTS 2016, held in Brussels, Belgium, in September 2016. The 18 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 47 submissions.

This book constitutes the refereed proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2016, held in Guimaraes, Portugal, in September 2016, in conjunction with the 8th International Conference on eParticipation, ePart 2016.