|
|
|
| November 7-9, 2006, Lucca, Italy |
|
TGC 2006 Call For Papers Invited Speakers EU FP6 Reviews Venue Steering Committee Program Committee Local Organization Program Sponsors Pictures TGC 2005 Post-Proceedings |
Call for PapersImportant DatesAbstract submissions: July 31, 2006Paper submissions: August 4, 2006 Notification to authors: September 16, 2006 Final version due: October 13, 2006 Conference: November 7-9, 2006 ScopeComputing 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 FormatThe symposium is colocated with the reviews of the following FP6 GCII projects:
Invited SpeakersPaola Inverardi (Università de L'Aquila, Italy)Danny Krizanc (Wesleyan University, USA) Jayadev Misra (University of Texas at Austin, USA) Andrei Sabelfeld (Goteborg University, Sweden) Origins & PlansThe 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 CommitteeGilles Barthe (INRIA Sophia Antipolis)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) Submission DetailsContributions must be in PostScript or PDF and consist of no more than 15 pages in the Springer LNCS style. 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 and Special IssueThe 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 ChairsUgo Montanari - Dipartimento di Informatica, University of Pisa, ugo@di.unipi.itDon Sannella - Laboratory for Foundations of Computer Science, University of Edinburgh, dts@inf.ed.ac.uk Program Committee
Local OrganizationMassimo Bartoletti (University of Pisa)Roberto Bruni (University of Pisa) - chair Marzia Buscemi (IMT Lucca) Hernán Melgratti (IMT Lucca) Laura Semini (University of Pisa) Roberta Zelari (IMT Lucca) Barbara Iacobino (IMT Lucca) Silvia Lucchesi (IMT Lucca) Pietro Carubbi (IMT Lucca) VenueLucca 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. |
|