| FP6 Project Overviews |
| Project AEOLUS: An Overview / Christos Kaklamanis |
| MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard |
| Sensoria Process Calculi for Service-Oriented Computing / Martin Wirsing ; Rocco De Nicola ; Stephen Gilmore ; Matthias Holzl ; Roberto Lucchi ; Mirco Tribastone ; Gianlugi Zavattaro |
| Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks / Torsten Eymann ; Werner Streitberger ; Sebastian Hudert |
| Keynote Speakers |
| Software of the Future Is the Future of Software? / Paola Inverardi |
| An Algorithmic Theory of Mobile Agents / Evangelos Kranakis ; Danny Krizanc |
| Types to Discipline Interactions |
| Spatial-Behavioral Types, Distributed Services, and Resources / Luis Caires |
| Integration of a Security Type System into a Program Logic / Reiner Hahnle ; Jing Pan ; Philipp Rummer ; Dennis Walter |
| Calculi for Distributed Systems |
| PRISMA: A Mobile Calculus with Parametric Synchronization / Roberto Bruni ; Ivan Lanese |
| On Bisimulation Proofs for the Analysis of Distributed Abstract Machines / Damien Pous |
| A Typed Calculus for Querying Distributed XML Documents / Lucia Acciai ; Michele Boreale ; Silvano Dal Zilio |
| Flexible Modeling |
| Verification of Model Transformations: A Case Study with BPEL / Luciano Baresi ; Karsten Ehrig ; Reiko Heckel |
| A Fuzzy Approach for Negotiating Quality of Services / Davide Bacciu ; Alessio Botta ; Hernan Melgratti |
| Algorithms and Systems for Global Computing |
| Scheduling to Maximize Participation / Ioannis Caragiannis ; Panagiotis Kanellopoulos ; Evi Papaioannou |
| On the Limits of Cache-Oblivious Matrix Transposition / Francesco Silvestri |
| The KOA Remote Voting System: A Summary of Work to Date / Joseph R. Kiniry ; Alan E. Morkan ; Dermot Cochran ; Fintan Fairmichael ; Patrice Chalin ; Martijn Oostdijk ; Engelbert Hubbers |
| Security, Anonymity and Type Safety |
| Security Types for Dynamic Web Data / Mariangiola Dezani-Ciancaglini ; Silvia Ghilezan ; Jovanka Pantovic |
| Anonymity Protocols as Noisy Channels / Konstantinos Chatzikokolakis ; Catuscia Palamidessi ; Prakash Panangaden |
| A Framework for Automatically Checking Anonymity with [mu]CRL / Tom Chothia ; Simona Orzan ; Jun Pang ; Mohammad Torabi Dashti |
| A Framework for Type Safe Exchange of Mobile Code / Sonia Fagorzi ; Elena Zucca |
| Author Index |
| FP6 Project Overviews |
| Project AEOLUS: An Overview / Christos Kaklamanis |
| MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard |
ＥＢ
