[TYPES/announce] Call For Papers TGC'07

[Gilles Barthe]

[Apologies for multiple copies]

===========================================================
                   Call For Papers

               Trustworthy Global Computing 2007

           November 5-6, 2007, Sophia-Antipolis, France

            http://www-sop.inria.fr/everest/tgc/tgc07

==========================================================



   Scope

The Symposium on Trustworthy Global Computing is an international
annual venue dedicated to safe and reliable computation in global
computers. It focuses on providing tools and frameworks for
constructing well-behaved applications and for reasoning about their
behaviour and properties in models of computation that incorporate
code and data mobility over distributed networks with highly dynamic
topologies and heterogeneous devices.

We solicit paper 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
    * information flow and resource usage policies
    * verification of cryptographic protocols and their use
    * trust, access control and security enforcement mechanisms
    * self configuration, adaptation, and dynamic components management
    * software principles to support debugging and verification
    * test generators, symbolic interpreters, type checkers
    * model checkers, theorem provers
    * privacy, reliability and business integrity

   Invited Speakers

   * Andrew D. Gordon (Microsoft Research)
   * Martin Hofmann (Ludwig-Maximilians-Universität München)


   Important Dates

   * Abstract submissions: July 27, 2007
   * Paper submissions: August 3, 2007
   * Notification to authors: September 17, 2007
   * Final version for pre-proceedings: October 5, 2007
   * Conference: November 5-6, 2007
   * Version for post-proceedings: December 7, 2007


   Submission Details

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 and Special Issue

It is planned to publish 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. The
authors of the best papers might be invited to submit an extended
revision for inclusion in a special issue of a journal.


   Program Chairs

   * Gilles Barthe (INRIA)
   * Cédric Fournet (Microsoft Research)


   Program Committee

   * Gilles Barthe (INRIA)
   * Roberto Bruni (University of Pisa)
   * Luis Caires (Universidade Nova de Lisboa)
   * Bruno Crispo (Vrije Universiteit Amsterdam)
   * Silvano Dal Zilio (CNRS)
   * Rocco De Nicola (University of Pisa)
   * Cédric Fournet (Microsoft Research)
   * Manuel Hermenegildo (T.U. of Madrid - UPM)
   * Alan Jeffrey (Bell Labs - Alcatel Lucent)
   * Christos Kaklamanis (University of Patras)
   * Cosimo Laneve (University of Bologna)
   * Uwe Nestmann (TU Berlin)
   * Dave Sands (Chalmers University of Technology of Göteborg)
   * Vladimiro Sassone (University of Southampton)
   * Ian Stark (University of Edinburgh)
   * Alan Schmitt (INRIA)
   * Paul G. Spirakis (University of Patras and RACTI)
   * Éric Tanter (Universidad de Chile)
   * Nobuko Yoshida (Imperial College London)