[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[ please distribute - apologies for multiple copies ]

================================================================
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 - br...@di.unipi.it
University of Pisa, Italy

Vladimiro Sassone - v...@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
------------
tgc2...@di.unipi.it
================================================================

--
=====================================================================
Dr. Roberto Bruni
Computer Science Department Phone: +39 050 2212785
University of Pisa Fax: +39 050 2212726
Largo B. Pontecorvo, 3 Email: br...@di.unipi.it
I-56127 Pisa - ITALY WWW: http://www.di.unipi.it/~bruni
=====================================================================
"We think in generalities, but we live in detail" Alfred N. Whitehead
=====================================================================

Reply via email to