TGC 2014 - 9th International Symposium on Trustworthy Global Computing (TGC 2014)

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
We solicit papers in all areas of global computing, including (but not limited to):
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 2 2014
Deadline for paper submission: May 19 2014 STRICT!
Notification to authors: June 27 2014
Invited speakers
Véronique 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
Stephanie Delaune (CNRS and LSV, France)
Anupam Datta (Carnegie Mellon University, USA)
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
Fabio Gadducci (Università 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 Köpf (IMDEA Software Institute, Spain)
Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
Michele Loreti (Università degli Studi di Firenze, Italy)
Matteo Maffei (co-chair, Saarland University, Germany)
Hernan Melgratti (Universidad de Buenos Aires, Argentina)
António Ravara (Universidade Nova de Lisboa, Portugal)
Alejandro Russo (Chalmers University of Technology, Sweden)
Andrey Rybalchenko (TU München, Germany)
Emilio Tuosto (co-chair) (co-chair, University of Leicester, UK)
Björn Victor (Uppsala University, Sweden)
Roberto Zunino (Università degli Studi di Trento, Italy)
Submission
Papers have to be submitted through EasyChair.
Contributions must be in PostScript or PDF format and consist of no more than 15 pages in the Springer's LNCS style. Clearly marked appendixes may include additional details and proofs omitted due to space limitations.
Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere, with the exception of CONCUR. Concurrent submissions to CONCUR 2014 and TGC 2014 are allowed, and in fact encouraged, for those papers that may potentially enhance both conferences. Authors of such double submissions should flag them to the program chairs at the time of submission (by choosing the ’Regular Paper submitted to CONCUR’ paper category). Reviews may be shared between CONCUR and TGC. CONCUR's timeline is ahead of TGC's; submissions accepted by CONCUR will be considered automatically withdrawn from TGC.
We plan to publish post-proceedings shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference.
The post-proceedings will appear as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series.
Pre-proceedings with the accepted papers will be made available at the conference.
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 (LNCS vol. 7173) was held in Aachen (Germany), on September 9 - 10, 2011.
TGC 2012 was held in Newcastle upon Tyne (UK), on September 7 - 8, 2012
TGC 2013 was held in Buenos Aires (Argentina), on August 30 - 31, 2013
Contact information
tgc2014-AT-easychair.org