![]() |
| |||||||||||||||||
TGC 2011 : 6th International Symposium on Trustworthy Global ComputingConference Series : Trustworthy Global Computing | |||||||||||||||||
Link: http://www.di.unipi.it/TGC2011/ | |||||||||||||||||
| |||||||||||||||||
Call For Papers | |||||||||||||||||
================================================================
Call for Papers TGC 2011 Sixth International Symposium on TRUSTWORTHY GLOBAL COMPUTING http://www.di.unipi.it/TGC2011 Aachen, Germany, September 9-10, 2011 ---------------------------------------------------------------- co-located with CONCUR & QUEST 2011 ================================================================ IMPORTANT DATES --------------- 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 SCOPE ------ 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 behaviour * 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 properties 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) SUBMISSION DETAILS ------------------ Papers can be submitted online through the EASYCHAIR website http://www.easychair.org/conferences/?conf=tgc2011 Contributions must be in Postscript or PDF and consist of no more than 15 pages in the Springer LNCS style. http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 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 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 conference. ORIGINS & PLANS --------------- In 2011, the symposium is co-located with CONCUR & QUEST 2011. TGC 2010 (http://www.pst.ifi.lmu.de/tgc2010/ - 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 2008 (http://albcom.lsi.upc.edu/tgc2008 - 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 2007 (http://mobius.inria.fr/everest/events/tgc/tgc07 - 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 (http://www.imtlucca.it/tgc2006 - 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. 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). STEERING COMMITTE ----------------- 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) PROGRAM CHAIRS -------------- Roberto Bruni - bruni@di.unipi.it University of Pisa, Italy Vladimiro Sassone - vs@ecs.soton.ac.uk University of Southampton, UK PROGRAM COMMITTEE ----------------- 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) CONTACT INFO ------------ tgc2011@di.unipi.it ================================================================ |
|