[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, ugo@di.unipi.it Don Sannella - Laboratory for Foundations of Computer Science, University of Edinburgh, dts@inf.ed.ac.uk 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: ugo@di.unipi.it 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: ugo@di.unipi.it Largo Bruno Pontecorvo, 3 Address changed recently I-56127 Pisa, Italy http://www.di.unipi.it/~ugo/ugo.html @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@