| Welcome,1-m introductions, 5-m talks
Chair: Jan Vitek (University of Geneva) | |
| Introducing the French RNRT MARVEL project Marc Lacoste (France Telecom) | |
| Towards Dynamic and Extensible Mobility Earl Barr and Raju Pandey (UC Davis) | |
| Hierarchically Structured Mobile Agents and their Migration Ichiro Satoh (Ochanomizu University) | |
| Types and Equations
Chair: Peter Sewell (Cambridge University) | |
| A Static Type System for Detecting Potentially Transmissible Functions Dilsun Kirli (LFCS, Edinburgh) | |
| The Receptive Distributed
pi-Calculus Roberto Amadio (Université de Provence), Gérard Boudol (INRIA)
and Cédric Lousshaine (Université de Provence) | |
| Implementation
Chair: Benjamin Pierce (University of Pennsylvania) | |
| Using Mobile Code for Service Integration in Ubiquitous Computing Kari Kangas and Juha Röning (University of Oulu) | |
| DiTyCO: Implementing Mobile Objects in the Realm of Process Calculi Luís Lopes, Fernando Silva, Álvaro Figueira (Universidade do Porto) and Vasco T. Vasconcelos (Universidade de Lisboa) | |
| An Implementation of Ambients in JoCaml Cédric Fournet (Microsoft Research) and Alan Schmitt (INRIA) | |
| Scalable Migration for Mobile Agents Martin Geier and Franz J. Hauck (University of Erlangen-Nürnberg) | |
| Security
Chair: Cedric Fournet (Microsoft Research) | |
| A History-Dependent Access Control Mechanism Using Reflection Massimo Ancona (University of Genova), Walter Cazzola (University of Milano) and Eduardo B. Fernandez (Florida Atlantic University) |