posted by user: sadeghd || 3293 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

ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)
ACM--ICMLC--Ei and Scopus 2020   ACM--2020 12th International Conference on Machine Learning and Computing (ICMLC 2020)--SCOPUS, Ei Compendex
Ei-CCESG 2020   2020 3rd International Joint Conference on Clean Energy and Smart Grid(CCESG 2020)
IEEE-CTISC 2020   2020 2nd International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2020)
CBDCom 2020   The 6th IEEE International Conference on Cloud and Big Data Computing