Trustworthy Global Computing 2010
  Call for Papers
  Invited Talks
  EU FET-IST FP6 Reviews
  Travel info
 TGC 2010 - Call for Papers

5th Intl. Symposium on Trustworthy Global Computing

Ludwig-Maximilians-Universität München
Richard-Wagner-Str. 10
80333 München

February 24-26, 2010

Call for Papers in PDF


The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorously about their behaviour and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.


We solicit papers in all areas of global computing, including (but not limited to):

  • theories, models and algorithms for global computing and service oriented computing
  • language concepts and abstraction mechanisms
  • security through verifiable evidence
  • resource usage and information flow policies
  • game-theoretic approaches to selfishness
  • verification of cryptographic protocols and their use
  • trust, access control and security enforcement mechanisms
  • sharing information and computation
  • efficient communication
  • self configuration, adaptation, and dynamic components management
  • software principles to support debugging and verification
  • test generators, symbolic interpreters, type checkers
  • model checkers, theorem provers, static analyzers
  • approximation algorithms, impossibility results, and structural properties
  • privacy, reliability and business integrity

Origins & plans

In 2010, the symposium is co-located with the reviews of the following FP6 GCII projects: AEOLUS - Algorithmic Principles for Building Efficient Overlay Computers SENSORIA - Software Engineering for Service-Oriented Overlay Computers

TGC 2008, the fourth Symposium on Trustworthy Global Computing, was held in Barcelona (Spain), on November 3 - 4, 2008. The symposium was co-located with the reviews of the FP6 GCII projects AEOLUS, MOBIUS and SENSORIA.

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

TGC 2006 was held in Lucca (Italy), on November 7 - 9, 2006 and it was co-located with the reviews of EU FET-IST 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 e.g. LNCS 2874) and the workshops on Foundation of Global Computing held as satellite events of ICALP and Concur (see e.g. ENTCS Vol. 85).

Important Dates

  • Paper (and Abstract) submissions: January 20, 2010 (extended)
  • Notification to authors: February 9, 2010
  • Final version for pre-proceedings: February 18, 2010
  • Conference: February 24-26, 2010
  • Version for post-proceedings: March 22, 2010

Submission Details

Papers can be submitted online through the website Contributions must be in Postscript or PDF and consist of no more than 15 pages in the Springer LNCS style. Additional details and proofs omitted due to space limitations may be included in a clearly marked appendix. Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere.


We usually publish Springer Lecture Notes in Computer Science (LNCS) post-proceedings shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference. Pre-proceedings with the accepted papers will be made available at the conference.

Steering committee

Program chairs

Program committee