[TYPES/announce] TGC'07 - Call for Participation

[Gilles.Barthe@sophia.inria.fr]

                           Trustworthy Global Computing 2007
Workshop on the Interplay of Programming Languages and Cryptography
                                       November 5-7, 2007
                                   Sophia-Antipolis, France

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


TGC'07 - Call for Participation


------------------------------------------------------------------------

Apologies for a multiple messages.

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

-----------------------------------------------
*Scope of the Conference*
-------------------------------------


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.


-----------------------------------------
*Venue*
--------------------------------------


The symposium will be hosted by INRIA Sophia-Antipolis Méditerranée
http://www-sop.inria.fr/

The location is in the south of France. The nearest airport is NICE
(French Riviera).

Please check the webpage for more information about accommodation and
travel help http://www-sop.inria.fr/everest/tgc/tgc07/?Venue


-------------------------------

*Registration*
---------------------------

Online registration can be made at:

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


240 Euros for conference and workshop only (November 5-6-7)

320 Euros for conference (and workshop) and project reviews (November 5-9)

80 Euros for project review only (November 7-9)


--------------------------------------
*Conference Program*
-----------------------------

MONDAY, November 5

*09.00-11.00*

* *Invited talk*. Martin Hofmann (Ludwig-Maximilians-Universität
  München). Ghost variables, resources, and object invariants in
  program logics
  * Benjamin Grégoire and Jorge Luis Sacchini. Combining a
  Verification Condition Generator for a Bytecode Language with
  Static Analyses

* Wide Hogenhout,  European Commission. ICT forever yours

*11.30--13.00*

* Pierre Crégut. Extracting control from data: user interfaces of
  MIDP applications

* Patryk Czarnik and Aleksy Schubert. Extending operational
  semantics of the Java bytecode

* Flemming Nielson, Hanne Riis Nielson, Joerg Bauer, Christoffer
  Rosenkilde Nielsen and Henrik Pilegaard. Relational Analysis for
  Delivery of Services

*14.30--16.00*

* *Invited talk*.- Jeff Magee (Imperial College). Web Service
  Composition: from Analysis to Autonomy

* Liquori Luigi and Cosnard Michel, Logical Networks. Towards
  Foundations of Programmable Overlay Networks and Overlay Computing
  Systems

*16.30--18.00*

* Tom Murphy, Karl Crary and Robert Harper. Type-safe Distributed
  Programming with ML5

* Maria Grazia Buscemi and Hernan Melgratti. Transactional Service
  Level Agreement

* Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi and Davide
  Sangiorgi. On the complexity of termination inference for processes

*18.30-- 21:00*: *Reception and buffet (at INRIA)*


TUESDAY November 6

*09.00--11.00*

* *Invited talk*. Andrew D. Gordon (Microsoft Research). Baltic:
  Service Combinators for Farming Virtual Machines


* Kurt Dietrich, Martin Pirker, Tobias Vejda, Ronald Tögl, Peter
  Lipp and Thomas Winkler. A Practical Approach for Establishing
  Trust Relationships between Remote Platforms using Trusted Computing

* Andrew Cirillo and James Riely. A Calculus for Access Control in
  Trusted Computing Platforms

*11.30--13.00*

* Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari and Emilio
  Tuosto. Service Oriented Architectural Design

* Mario Bravetti, Stephen Gilmore, claudio guidi and Mirco
  Tribastone. Replicating Web Services for Scalability

* Ashok Argent-Katwala, Jeremy Bradley, Allan Clark and Stephen
  Gilmore. Location-aware quality of service measurements

*14.30--16.00*

* Eduardo Bonelli and Adriana Compagnoni, Multipoint. Session Types
  for a Distributed Calculus

* Mariangiola Dezani, Ugo de' Liguoro and Nobuko Yoshida. On
  Progress for Structured Communications

* Ricardo Corin and Pierre-Malo Deniélou. A Protocol Compiler for
  Secure Sessions in ML

*16.30--18.00*

* Ilja Tshahhirov and Peeter Laud. Application of Dependency Graphs
  to Security Protocol Analysis

* Arnab Roy, Anupam Datta and John Mitchell. Formal proofs of
  cryptographic security of Diffie-Hellman-based protocols

* Aybek Mukhamedov and Mark Ryan. Anonymity Protocol with Identity
  Escrow and Analysis in the Applied Pi-calculus


WEDNESDAY November 7 (included in conference registration fees)

*Workshop on the Interplay of Programming Languages and Cryptography 
<http://www-sop.inria.fr/everest/tgc/tgc07/?Workshop%20on%20the%20Interplay%20of%20Programming%20Languages%20and%20Cryptography>*


-------------------------

*Organization*
----------------------------

Program Chairs

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