| 9.30-10.00 | Coffee | ||
| 10.00-10.45 | Ali Ghodsi | KTH | DKS algorithm and system |
| 10.45-11.30 | Per Brand | SICS | Distribution subsystem and DSS |
| 11.30-12.15 | Kevin Glynn | UCL | P2PKit |
| 2.00-2.30 | Raphael Collet | UCL | Transactional system for structured overlays |
| 2.30-3.00 | James Leifer | INRIA | Acute |
| 3.30-4.00 | Peter Sewell | UCAM | Network semantics |
| 4.00-4.30 | Johannes Borgstrom | EPFL | Verification of DKS |
| 4.30-5.30 | Discussion |