[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
========================================================== Call for Papers Trustworthy Global Computing 2008 November 3-4, 2008, Barcelona, Spain ========================================================== 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 Important Dates * Abstract submissions: August 1, 2008 * Paper submissions: August 8, 2008 * Notification to authors: September 15, 2008 * Final version for pre-proceedings: October 3, 2008 * Conference: November 3-4, 2008 * Version for post-proceedings: December 5, 2008 Submission Details Papers can be submitted online through the website http://www.easychair.org/conferences/?conf=tgc08 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. Program Chairs * Christos Kaklamanis (University of Patras) * Flemming Nielson (TU Denmark) Program Committee (to be completed) * Ioannis Caragiannis * Tino Cortesi * Sophia Drossopoulou * Thomas Hildebrandt * Christos Kaklamanis (chair) * Danny Krizanc * Alberto Marchetti-Spaccamela * Flemming Nielson (chair) * Giuseppe Persiano * German Puebla * Paolo Quaglia * Carolyn Talcott * Don Sannella * Maria Serna