7th International Symposium
on Trustworthy Global Computing

Important dates

Deadline for abstract submission:	31 May 2012
Deadline for paper submission:	5 June 2012
Notification to authors:	13 July 2012

Scope

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

Submission details

Papers were submitted through EasyChair (the submission deadline has passed).

Contributions must be in PostScript format 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.

Proceedings

We plan to publish Springer 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.

Programme

The programme is available here.

Invited speakers

• Cosimo Laneve. Mutations, flashbacks and locks: A framework for the static analysis of deadlocks and livelocks. (Joint work with Elena Giachino.)
• Dan Ghica. Seamless distributed computing from the Geometry of Interaction. (Joint work with Olle Fredriksson.)
• David Naccache. When file synchronization meets number theory.
• Stefan Saroiu. Trusted computing software abstractions for mobile and cloud systems.

Steering committee

• Gilles Barthe (IMDEA Software, Madrid, Spain)
• Rocco De Nicola (University of Florence, Italy)
• Christos Kaklamanis (University of Patras, Greece)
• Ugo Montanari (University of Pisa, Italy)
• Davide Sangiorgi (University of Bologna, Italy)
• Don Sannella (University of Edinburgh, Scotland)
• Vladimiro Sassone (University of Southampton, UK)
• Martin Wirsing (University of Munich, Germany)

Programme chairs

• Catuscia Palamidessi
  INRIA Saclay and LIX, École Polytechnique, France
• Mark Ryan
  University of Birmingham, UK

Programme committee

• Myrto Arapinis (University of Birmingham, UK)
• Roberto Bruni (Università di Pisa, Italy)
• Kostas Chatzikokolakis (École Polytechnique of Paris, France)
• Thomas Jensen (INRIA, France)
• Boris Köpf (IMDEA Software Institute, Spain)
• Steve Kremer (INRIA, France)
• Zhiming Liu (United Nations University - International Institute for Software Technology, China)
• Alberto Lluch (IMT Institute for Advanced Studies Lucca, Italy)
• Dusko Pavlovic (Royal Holloway, University of London, UK)
• Alfredo Pironti (INRIA)
• Vladimiro Sassone (University of Southampton, UK)
• Ben Smyth (Toshiba, Japan)
• Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)
• Nobuko Yoshida (Imperial College London, UK)

Previous TGC events

• 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).
• 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.
• 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 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 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 and SENSORIA.
• TGC 2011 was held in Aachen (Germany), on September 9–10, 2011.

Contact information

• tgc2012@lix.polytechnique.fr