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 | |||