Mathematical theory of computation

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010.

The 6th International Conference on the Theory and Application of Diagrams - Diagrams 2010 - was held in Portland, USA in August 2010.

This book constitutes the refereed proceedings of the 10th International Symposium, PETS 2010, held in Berlin, Germany in July 2010.

Welcome to the proceedings of the 2010 International Conferences on Database Theory and Application (DTA 2010), and Bio-Science and Bio-Technology (BSBT 2010) - two of the partnering events of the Second International Mega- Conference on Future Generation Information Technology (FGIT 2010).

The 9th International Conference on Cryptology and Network Security (CANS 2010) was held in Kuala Lumpur, Malaysia during December 12-14, 2010.

In today's competitive and highly dynamic environment, organizations need new so- tions to enable them to solve modern business problems and to make decisions using integrated, trustworthy, and up-to-date data.

2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference.

The 4th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2010) took place in Big Island, Hawaii, USA, December 18-20, 2010.

Security-enriched urban computing and smart grids are areas that attracted many a- demic and industry professionals to research and develop.

This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6-9, 2010, on the campus of Universidade de Bras' ?

The growing capabilities in generating and collecting data has risen an urgent need of new techniques and tools in order to analyze, classify and summarize statistical information, as well as to discover and characterize trends, and to automatically bag anomalies.

th The 5 International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010) has become a unique, established and broad interdisciplinary forum for researchers and practitioners who are involved in developing and applying symbolic and sub-symbolic techniques aimed at the construction of highly robust and reliable problem-solving techniques, and bringing the most relevant achievements in this field.

This volume contains the proceedings of the International Conference on Inf- mation Computing and Applications (ICICA 2010), which was held in Tangshan, China, October 15-18, 2010.

th The 5 International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010) has become a unique, established and broad interdisciplinary forum for researchers and practitioners who are involved in developing and applying symbolic and sub-symbolic techniques aimed at the construction of highly robust and reliable problem-solving techniques, and bringing the most relevant achievements in this field.

Model transformations are the glue that tie modelling activities together.

ACNS 2010, the 8th International Conference on Applied Cryptography and Network Security, was held in Beijing, China, during June 22-25, 2010.

The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of software development based on components, services, features, or models.