TGC 2011 - 6th International Symposium on Trustworthy Global Computing TGC 2011

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 Architecture, 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 rigourous 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 analyzers
approximation algorithms, impossibility results, and structural properties

http://www.di.unipi.it/TGC2011/index.html
Some previous TGC
TGC 2010, (LNCS vol. 6084) was held in Munich (Germany), on February 24-26, 2010. The symposium was co-located with the reviews of the FP6 projects AEOLUS SENSORIA.

TGC 2008, (LNCS vol. 5474) was held in Barcelona (Spain), on November 3-4, 2008. The symposium was co-located with the reviews of the FP6 projects AEOLUS, MOBIUS and SENSORIA.

TGC 2007 (LNCS vol. 4912) was held in Sophia-Antipolis (France), on November 5-6, 2007. The symposium was co-located with the reviews of the FP6 projects AEOLUS, MOBIUS and SENSORIA, and it was followed by the Workshop on the Interplay of Programming Languages and Cryptography.

TGC 2006, (LNCS vol. 4661) was held in Lucca (Italy), on November 7-9, 2006. The Symposium was co-located with the reviews of the FP6 projects AEOLUS, MOBIUS, SENSORIA and CATNETS.

The first TGC event took place in Edinburgh on April 7-9, 2005 with the co-sponsorship of IFIP TC-2, as part of ETAPS 2005. TGC 2005 was the evolution of the previous Global Computing I Workshops held in Rovereto in 2003 and 2004 (see LNCS vol. 2874) and the workshops on Foundation of Global Computing held as satellite events of ICALP and Concur (see ENTCS vol. 85).