posted by user: sadeghd || 4321 views || tracked by 7 users: [display]

TGC 2011 : 6th International Symposium on Trustworthy Global Computing


Conference Series : Trustworthy Global Computing
When Sep 9, 2011 - Sep 10, 2011
Where Aachen, Germany
Abstract Registration Due May 30, 2011
Submission Deadline Jun 5, 2011
Notification Due Jul 11, 2011
Final Version Due Nov 15, 2011
Categories    trust   computing   global

Call For Papers

Call for Papers

TGC 2011
Sixth International Symposium on
Aachen, Germany, September 9-10, 2011
co-located with CONCUR & QUEST 2011

Abstract submissions: May 30, 2011
Paper submissions: June 5, 2011
Notification to authors: July 11, 2011
Final version (pre-proc.): July 29, 2011
Conference: September 9-10, 2011
Final version (post-proc.): November 15, 2011

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
Architecture, 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
rigourous 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
* self configuration, adaptation, and dynamic components management
* software principles and tools to support debugging and verification
* model checkers, theorem provers, static analyzers
* approximation algorithms, impossibility results, and structural

INVITED SPEAKERS (to be confirmed)

- Michael Backes (Saarbruecken, Germany)
- Michele Bugliesi (Venice, Italy)
- Mariangiola Dezani (Torino, Italy)
- Matthias Hoelzl (Munich, Germany)
- Bernd Werther (Volkswagen AG, Germany)

Papers can be submitted online through the EASYCHAIR 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

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

In 2011, the symposium is co-located with CONCUR & QUEST 2011.

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

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

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

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

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)

Roberto Bruni -
University of Pisa, Italy

Vladimiro Sassone -
University of Southampton, UK


Kostas Chatzikokolakis (LIX Paris, France)
Rocco De Nicola (University of Florence, Italy)
Sardouna Hamadou (University of Venice, Italy)
Christos Kaklamanis (University of Patras, Greece)
Zhiming Liu (UNU-IIST, Macao)
Alberto Lluch Lafuente (IMT Alti Studi Lucca, Italy)
Matteo Maffei (Saarland University, Saarbrucken, Germany)
Dusko Pavlovic (Kestrel Institute, Palo Alto, CA, USA)
Sanjiva Prasad (Indian Institute of Technology, Delhi, India)
Alejandro Russo (Chalmers University, Gothenburg, Sweden)
Peter Ryan (University of Luxembourg, Luxembourg)
Maria Serna (Universitat Politecnica de Catalunya, Barcelona, Spain)
Emilio Tuosto (University of Leicester, UK)


Related Resources

IEEE COINS 2022   IEEE COINS 2022: Hybrid (3 days on-site | 2 days virtual)
ACM-EI/Scopus-ACAI 2021   2021 4th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2021)
ICADCML 2022   3rd International Conference on Advances in Distributed Computing and Machine Learning - 2022
CCGrid 2022   CCGrid 2022 The 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
MobiHoc 2022   Mobile Ad Hoc Networking and Computing
IEEE COINS 2022   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems |
EI Compendex, Scopus-EECT 2022   2022 2nd International Conference on Electrical, Electronics and Computing Technology (EECT 2022)
IEEE--ICCIA--EI, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
MobiCom 2022   The 28th Annual International Conference On Mobile Computing And Networking (Winter Deadline)
FL-AAAI 2022   International Workshop on Trustable, Verifiable and Auditable Federated Learning in Conjunction with AAAI 2022