[ 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
* 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
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.


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

Reply via email to