TGC 2013 - 8th International Symposium on Trustworthy Global Computing

The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing. The TGC series focuses on providing frameworks, tools, algorithms and protocols for designing open-ended, large-scaled applications and for reasoning about their behaviour and properties in a rigorous way. The related models of computation incorporate code and data mobility over distributed networks that connect heterogeneous devices and have dynamically changing topologies.
We solicit papers in all areas of global computing, including (but not limited to):
theories, languages, models and algorithms for global computing
language concepts and abstraction mechanisms
models of interaction and dynamic components management
trust, access control and security enforcement mechanisms
security through verifiable evidence
privacy, reliability and business integrity
resource usage and information flow policies
contract-oriented software development
game-theoretic approaches to collaborative and competitive behaviour
self configuration, adaptation, and dynamic components management
software principles and tools to support debugging and verification
model checkers, theorem provers, static analysers
approximation algorithms, impossibility results, and structural properties