9th International Symposium on Trustworthy Global Computing

The Symposium on Trustworthy Global Computing is an international annual venue dedicated to secure 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 rigorously designing, verifying, and implementing open-ended, large-scaled applications. The related models of computation incorporate code and data mobility over distributed networks that connect heterogeneous devices and have dynamically changing topologies.

Topics

• 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

Important Dates

Deadline for abstract submission: May 9 2014
Deadline for paper submission: May 16 2014
Notification to authors: June 27 2014

Invited speakers

• Veronique Cortier (CNRS, France)
• Catuscia Palamidessi (INRIA Saclay and LIX, France)

Steering committee

• Gilles Barthe (IMDEA Software, Madrid, Spain)
• Rocco De Nicola (IMT Institute for Advanced Studies Lucca, 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 (LMU University of Munich, Germany)

Programme chairs

• Matteo Maffei (Saarland University, Germany)
• Emilio Tuosto (University of Leicester, UK)

Programme committee

• Stephen Chong (Harvard University, USA)
• Stephanie Delaune (CNRS and LSV, France)
• Anupam Datta (Carnegie Mellon University, USA)
• Mariangiola Dezani-Ciancaglini (Universita di Torino, Italy)
• Fabio Gadducci (Universita di Pisa, Italy)
• Dan Ghica (University of Birmingham, UK)
• Andrew D. Gordon (Microsoft Research and University of Edinburgh, UK)
• Joshua Guttman (Worcester Polytechnic Institute, USA)
• Christos Kaklamanis (University of Patras and CTI, Greece)
• Daniel Hirschkoff (ENS Lyon, France)
• Boris Kopf (IMDEA Software Institute, Spain)
• Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
• Michele Loreti (Universita degli Studi di Firenze, Italy)
• Matteo Maffei (co-chair, Saarland University, Germany)
• Hernan Melgratti (Universidad de Buenos Aires, Argentina)
• Antonio Ravara (Universidade Nova de Lisboa, Portugal)
• Alejandro Russo (Chalmers University of Technology, Sweden)
• Andrey Rybalchenko (TU Munchen, Germany)
• Emilio Tuosto (co-chair) (co-chair, University of Leicester, UK)
• Bjorn Victor (Uppsala University, Sweden)
• Roberto Zunino (Universita degli Studi di Trento, Italy)