[Apologies for multiple postings]
================================================================
SECOND CALL FOR PAPERS
2006 International Symposium on
"Trustworthy Global Computing"
http://www.imtlucca.it/tgc2006
IMT, Lucca, November 7-9, 2006
co-located with the cluster review of
IST-FET Global Computing II proactive initiative
IMPORTANT DATES
---------------
Registration and submission of title
and abstract (hard): July 31, 2006
Paper submissions (hard): August 4, 2006
Notification to authors: September 16, 2006
Final version due: October 13, 2006
Conference: November 7-9, 2006
SCOPE
------
Computing technology has become ubiquitous, from global applications to
minuscule embedded devices. Trust in computing is vital to help protect
public safety, national security, and economic prosperity. A new area of
research, known as global computing, has recently emerged. It aims to
define new models of computation based on code and data mobility over wide
area networks with highly dynamic topologies, and to provide
infrastructures to support coordination and control of components
originating from different, possibly untrusted, sources. Trustworthy Global
Computing aims to achieve safe and reliable computation in such a
framework, by providing tools and frameworks for constructing well-behaved
applications and for reasoning about their behaviour and properties.
In 2005, the FET-IST Programme of the European Union launched three
Integrated Projects dedicated to these themes within the Global Computing
II proactive initiative. These projects are now due to be reviewed after
their first year of activity. This symposium will be devoted to presenting
and discussing recent progress in trustworthy global computing within these
projects and beyond. We are looking for papers dealing with the following
issues (the list should not be considered exhaustive):
-- theories, models and algorithms for global computing
and service oriented computing
-- language-based security, theories of trust and authentication
-- secure protocol composition
-- security through verifiable evidence
-- game-theoretic approaches to selfishness and security
-- resource usage and information flow policies
-- privacy, reliability and business integrity
-- access control and mechanisms for enforcement
-- models of interaction and dynamic components management
-- sharing information and computation
-- self configuration and adaptiveness
-- efficient communication
-- verification of cryptographic protocols
-- language concepts and abstraction mechanisms
-- test generators, symbolic interpreters, type checkers
-- finite state model checkers, theorem provers
-- software principles to support debugging and verification
FORMAT
-------
The symposium is colocated with the reviews of the following FP6 GCII
projects:
AEOLUS - Algorithmic Principles for Building Efficient Overlay Computers
http://www.ceid.upatras.gr/aeolus/
MOBIUS - Mobility, Ubiquity and Security
http://mobius.inria.fr/
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
http://www.pst.ifi.lmu.de/projekte/sensoria/.
In addition, the following FP5 project will be reviewed:
CATNET - Evaluation of the Catallaxy Paradigm for Decentralized
Operation of Dynamic Application Networks
http://research.ac.upc.edu/catnet/.
INVITED SPEAKERS (to be invited!)
---------------------------------
Jayadev Misra (Austin)
Andrei Sabelfeld (Goteborg)
2 invited by AEOLUS and SENSORIA.
ORIGINS & PLANS
---------------
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). In view of the importance and the strategic role of
trustworthy global computing, the plans are to organize TGC regularly in
the future, with the following steering commmittee.
STEERING COMMITTE
-----------------
Gilles Barthe (INRIA Sophia Antipolis)
Rocco De Nicola (Florence)
Christos Kaklamanis (Patras)
Ugo Montanari (Pisa)
Davide Sangiorgi (Bologna)
Don Sannella (Edinburgh)
Vladimiro Sassone (Southampton)
Martin Wirsing (Munich)
SUBMISSION DETAILS
------------------
Contributions must be in PDF (preferably) or PS (using Type 1 fonts),
and consist of no more than 15 pages, including references, in the
Springer LNCS style available at the URL
<http://www.springer.de/comp/lncs/authors.html>http://www.springer.de/comp/lncs/authors.html.
It is recommended that submissions adhere to the specified format and
length. Proofs omitted due to space limitations may be included in a
clearly marked appendix that is not included in the page limit.
Submissions that are clearly too long may be rejected immediately.
Electronic submission is very strongly recommended. The submission
server will be set up by Monday July 17, 2006 and submissions will be
accepted till Friday August 4, 2006 (deadline is STRICT). The
submission tool is available at
<http://www.easychair.org/TGC06>http://www.easychair.org/TGC06
Note that in order to submit a paper you need to register first,
filling the form available in the New User part of the welcome page
of the tool. After registration you will receive via e-mail the
password that you can use to actually upload your abstract and paper.
See
http://www.imtlucca.it/whats_new/tgc_conference_2006.php?topic=submissions
for any update.
PROCEEDINGS AND SPECIAL ISSUE
-----------------------------
We are confident that the Proceedings will be published by Springer Verlag
in the LNCS series, 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, printed locally in
Lucca, will be made available at the conference. It is planned to dedicate
a special issue of the journal Theoretical Computer Science to the theme of
the workshop, comprised of extended versions of the best papers presented
at TGC 2006.
PROGRAM CHAIRS
--------------
Ugo Montanari - Dipartimento di Informatica,
University of Pisa, [EMAIL PROTECTED]
Don Sannella - Laboratory for Foundations of Computer Science,
University of Edinburgh, [EMAIL PROTECTED]
PROGRAM COMMITTEE (to be invited!)
-----------------
Gilles Barthe (INRIA Sophia Antipolis)
Rocco De Nicola (Florence)
Jose' Luiz Fiadeiro (Leicester)
Stefania Gnesi (ISTI, Pisa)
Manuel Hermenegildo (Madrid)
Christos Kaklamanis (Patras)
Elias Koutsoupias (Athens)
Burkhard Monien (Paderborn)
Ugo Montanari (Pisa)
Giuseppe Persiano (Salerno)
David Rosenblum (London)
Davide Sangiorgi (Bologna)
Don Sannella (Edinburgh)
Vladimiro Sassone (Southampton)
Paul Spirakis (Patras)
Martin Wirsing (Munich)
Gianluigi Zavattaro (Bologna)
ORGANIZING COMMITTEE
--------------------
Massimo Bartoletti (Pisa)
Roberto Bruni (Pisa) - chair
Marzia Buscemi (Lucca)
Hernan Melgratti (Lucca)
Laura Semini (Pisa)
Roberta Zelari (Lucca)
VENUE
-----
Lucca is a medieval Tuscan town, in an intermediate position between Pisa
and Florence, with fully preserved renaissance city walls. Lucca has
maintained the characteristics of the small capital it was almost up to the
unification of Italy. Beyond the hills, the nearby beaches of Versilia, the
marble quarries of Carrara and the mountains of Garfagnana complete the
picture. The IMT Institute for Advanced Studies (http://www.imtlucca.it) is
a recently established graduate school active in economics, political
science, handling of cultural heritage, biorobotics and computer science.
The PhD program on Computer Science and Engineering focuses on various
issues of global computing.
--
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Prof. Ugo Montanari Phone: +39 050 2212721
Dipartimento di Informatica Fax: +39 050 2212726
Universita' di Pisa Email: [EMAIL PROTECTED]
Largo Bruno Pontecorvo, 3 Address changed recently
I-56127 Pisa, Italy http://www.di.unipi.it/~ugo/ugo.html
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
--
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Prof. Ugo Montanari Phone: +39 050 2212721
Dipartimento di Informatica Fax: +39 050 2212726
Universita' di Pisa Email: [EMAIL PROTECTED]
Largo Bruno Pontecorvo, 3 Address changed recently
I-56127 Pisa, Italy http://www.di.unipi.it/~ugo/ugo.html
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
