TGC 2016 - 11th International Symposium on Trustworthy Global Computing (TGC 2016)

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):
languages, semantic models, and abstractions
security, trust, and reliability
privacy and information flow policies
algorithms and protocols
resource management
model checking, theorem proving, and static analysis
tool support