[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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)