Lecturer Title
Apr 26
08.00-09.00 breakfast
09.15-09.30 opening
09.30-12.30 Luca Cardelli
Microsoft Research Cambridge
UK
Theory of Mobile Processes:
Ambient Calculus and Spatial Logic
12.30-14.00 lunch
15.00-18.00 Marco Pistore
Univ. of Trento
Italy
Mobile Process Calculi and
History-Dependent Automata
Apr 27
08.00-09.00 breakfast
09.30-12.30 Rocco De Nicola
Univ. of Firenze
Italy
Mobile Distributed Programming
in X-Klaim
12.30-14.00 lunch
15.00-18.00 Refik Molva
Eurecom Institute
France
Mobile Network Security
Apr 28
08.00-09.00 breakfast
09.30-12.30 Mario Gerla
UCLA
USA
Wireless Adaptive Mobility
12.30-14.00 lunch
15.00-18.00 Matteo Magotti
Vodafone
3G and Beyond:
The Convergence of
Mobile Telephony and Computing
Apr 29
08.00-09.00 breakfast
09.30-12.30 Vincenzo Grassi
Univ. of Roma "Tor Vergata"
Italy
Performance Analysis of
Mobile Systems
12.30-14.00 lunch
14.30-15.30 Alessandro Bogliolo
Univ. of Urbino
Italy
Dynamic Power Management:
An Introduction

16.00-17.00 Marco Bernardo
Univ. of Urbino
Italy
Dynamic Power Management:
Formal Approaches

17.30-18.30 Andrea Acquaviva
Univ. of Urbino
Italy
Dynamic Power Management:
The IEEE 802.11 Standard
Apr 30
08.00-09.00 breakfast
09.30-12.30 Gian Pietro Picco
Politecnico di Milano
Italy
Code Mobility (1 - 2)
12.30-14.00 lunch
14.30-16.00 Emanuele Lattanzi
Univ. of Urbino
Italy
Network Swapping
16.30-18.00 F. Corradini and E. Merelli
Univ. of Camerino
Italy
Hermes: Agent-Based Middleware
for Mobile Computing

18.00-18.15 closing