[TYPES/announce] CfP: 5th Intl. Symposium on Trustworthy Global Computing

[Gefei Zhang]

5th Intl. Symposium on Trustworthy Global Computing

February 24-26, 2010,
Munich, Germany

http://www.pst.ifi.lmu.de/tgc2010/

*Scope*

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.
Topics

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 8, 2010
* Notification to authors: January 29, 2010
* Final version for pre-proceedings: February 12, 2010
* Conference: February 24-26, 2010
* Version for post-proceedings: March 22, 2010

*Submission Details*

Papers can be submitted online through the website 
http://www.easychair.org/conferences/?conf=tgc2010. 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.
Proceedings

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*

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

*Program chairs*

* Martin Hofmann
 Institut für Informatik,
 Ludwig-Maximilians-Universtät München
 hofmann at tcs.ifi.lmu.de

* Martin Wirsing
 Institut für Informatik,
 Ludwig-Maximilians-Universtät München
 wirsing at lmu.de

Program committee

* Roberto Bruni (University of Pisa)
* Gilles Barthe (IMDEA Software, Madrid)
* Rocco De Nicola (University of Florence)
* Howard Foster (Imperial College)
* Samir Genaim (Universidad Complutense de Madrid)
* Stefania Gnesi (ISTI, Pisa)
* Martin Hofmann (Ludwig-Maximilians-Universtät München) (co-chair)
* Thomas Jensen (IRISA, Rennes)
* Christos Kaklamanis (University of Patras)
* Alberto Marchetti-Spaccamela (Università di Roma "La Sapienza")
* Paddy Nixon (University College Dublin)
* Giuseppe Persiano (Università degli Studi di Salerno)
* Geppino Pucci (University of Padova)
* Paola Quaglia (Università di Trento)
* Don Sannella (University of Edinburgh)
* Vladimiro Sassone (University of Southampton)
* Maria J. Serna (Universitat Politècnica de Catalunya)
* Carolyn Talcott (SRI International)
* Emilio Tuosto (University of Leicester)
* Nobuko Yoshida (Imperial College London)
* Martin Wirsing (Ludwig-Maximilians-Universtät München) (co-chair)
* Franco Zambonelli (University of Modena)