Computation Tools 2012. Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

COMPUTATION TOOLS is part of ComputationWorld dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, it targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking. It includes both academic, research, and industrial contributions: technical papers presenting research and practical results, position papers addressing the pros and cons of specific proposals, and survey papers addressing the key problems and solutions on any of the above topics.