5th Mobile Object Systems Workshop
Workshop Pogramme

9:00 - 10:20
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)
10:50 - 12:20
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)
13:50 - 15:20
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)
16:10 - 17:20
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)