From: Mailing list for the scientific community interested in computer
security [mailto:SECURITY@FOSAD.ORG] On Behalf Of Roberto Bruni
Sent: 19 December 2009 18:25
To: SECURITY@FOSAD.ORG
Subject: Call for Papers: TGC 2010 (submission deadline Jan. 8th, 2010)
[Apologies for multiple postings]
================================================================
Call for Papers
TGC 2010
Fifth International Symposium on
TRUSTWORTHY GLOBAL COMPUTING
http://www.pst.ifi.lmu.de/tgc2010
LMU, Munich, February 26-26, 2010
----------------------------------------------------------------
co-located with the review of FP6 GCII projects
AEOLUS and SENSORIA
================================================================
IMPORTANT DATES
---------------
Paper submissions: January 8, 2010
Notification to authors: January 29, 2010
Final version (pre-proc.): February, 2010
Conference: February 24-26, 2010
Final version (post-proc.): March 22, 2010
SCOPE
------
The Symposium on Trustworthy Global Computing is an international
annual venue dedicated to safe and reliable computation in global
computers. It focuses on providing frameworks, tools, and protocols
for constructing well-behaved applications and on reasoning rigorously
about their behaviour and properties. The related models of
computation incorporate code and data mobility over distributed
networks with highly dynamic topologies and heterogeneous devices.
We solicit papers in all areas of global computing, including (but not
limited to):
* theories, models and algorithms for global computing and service
oriented computing
* language concepts and abstraction mechanisms
* security through verifiable evidence
* resource usage and information flow policies
* game-theoretic approaches to selfishness
* verification of cryptographic protocols and their use
* trust, access control and security enforcement mechanisms
* sharing information and computation
* efficient communication
* self configuration, adaptation, and dynamic components management
* software principles to support debugging and verification
* test generators, symbolic interpreters, type checkers
* model checkers, theorem provers, static analyzers
* approximation algorithms, impossibility results, and structural
properties
* privacy, reliability and business integrity
SUBMISSION DETAILS
------------------
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 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 2010, the symposium is co-located with the reviews of the following
FP6 GCII projects: AEOLUS - Algorithmic Principles for Building
Efficient Overlay Computers SENSORIA - Software Engineering for
Service-Oriented Overlay Computers
TGC 2008, the fourth Symposium on Trustworthy Global Computing, was
held in Barcelona (Spain), on November 3 - 4, 2008. The symposium was
co-located with the reviews of the FP6 GCII projects AEOLUS, MOBIUS
and SENSORIA.
TGC 2007 was held on November 5-6, 2007 in Sophia-Antipolis, France
and it was followed by the Workshop on the Interplay of Programming
Languages and Cryptography on November 7, 2007. The symposium was
co-located with the reviews of the FP6 GCII projects AEOLUS, MOBIUS
and SENSORIA.
TGC 2006 was held in Lucca (Italy), on November 7 - 9, 2006 and it was
co-located with the reviews of EU FET-IST 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 e.g. LNCS 2874) and the workshops on
Foundation of Global Computing held as satellite events of ICALP and
Concur (see e.g. ENTCS Vol. 85).
STEERING COMMITTE
-----------------
Gilles Barthe (IMDEA Software, Madrid)
Rocco De Nicola (University of Florence)
Christos Kaklamanis (University of Patras)
Ugo Montanari (University of Pisa)
Davide Sangiorgi (University of Bologna)
Don Sannella (University of Edinburgh)
Vladimiro Sassone (University of Southampton)
Martin Wirsing (University of Munich)
PROGRAM CHAIRS
--------------
Martin Hofmann - hofmann@tcs.ifi.lmu.de
Institut fur Informatik, LMU Munich
Martin Wirsing - wirsing@lmu.de
Institut fur Informatik, LMU Munich
PROGRAM COMMITTEE (to be invited!)
-----------------
* Gilles Barthe (IMDEA Software, Madrid)
* Roberto Bruni (University of Pisa)
* Rocco De Nicola (University of Florence)
* Howard Foster (Imperial College)
* Samir Genaim (Universidad Complutense de Madrid)
* Stefania Gnesi (ISTI, Pisa)
* Martin Hofmann (LMU Munich) (co-chair)
* Thomas Jensen (IRISA, Rennes)
* Christos Kaklamanis (University of Patras)
* Alberto Marchetti-Spaccamela (University of Roma "La Sapienza")
* Paddy Nixon (University College Dublin)
* Giuseppe Persiano (University of Salerno)
* Geppino Pucci (University of Padova)
* Paola Quaglia (University of Trento)
* Don Sannella (University of Edinburgh)
* Vladimiro Sassone (University of Southampton)
* Maria J. Serna (Universitat Politècnica de Catalunya)
* Carolyn Talcott (SRI International)
* Emilio Tuosto (University of Leicester)
* Nobuko Yoshida (Imperial College London)
* Martin Wirsing (LMU Munich) (co-chair)
* Franco Zambonelli (University of Modena)
LOCAL ORGANIZATION
------------------
* Nora Koch (chair)
* Axel Rauschmayer
* Gefei Zhang
=====================================================================
Dr. Roberto Bruni
Computer Science Department Phone: +39 050 2212785
University of Pisa Fax: +39 050 2212726
Largo B. Pontecorvo, 3 Email: bruni@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
=====================================================================
