| Coordination | FMOODS | DAIS | ||
| 08.45-09.00 | Opening | |||
| 09.00-10.00 | Keynote | Andrew Myers | ||
| 10.00-10.30 | Coffee break | |||
| 10.30-12.00 | Session 1 | Platforms | Modelling & Model Checking | P2P Overlays |
| 12.00-14.00 | Lunch | |||
| 14.00-15.30 | Session 2 | Language Constructs | Model-driven Development | |
| 15.30-16.00 | Coffee break | |||
| 16.00-17.30 | Session 3 | Constraints | Components, Protocols & Interactions | |
| 19.00 | Town Hall Reception | |||
| Coordination | FMOODS | DAIS | ||
| 09.00-10.00 | Keynote | Alexander L. Wolf | ||
| 10.00-10.30 | Coffee break | |||
| 10.30-12.00 | Session 4 | Services | Refinement & Abstract Interpretation | Dependability & Reliability |
| 12.00-14.00 | Lunch | |||
| 14.00-15.30 | Session 5 | DisCoTec Joint Session on Services | ||
| 15.30-16.00 | Coffee break | |||
| 16.00-17.30 | Session 6 | Mobility | Adaptation | |
| 20.00 | Conference Dinner | |||
| Coordination | FMOODS | DAIS | ||
| 09.00-10.00 | Keynote | Matt Welsh | ||
| 10.00-10.30 | Coffee break | |||
| 10.30-12.00 | Session 7 | Workflow | Security & Services | Service-Orientation & QoS Management and Composition |
| 12.00-14.00 | Lunch | |||
| 14.00-15.30 | Session 8 | Sessions | Verification | QoS Management and Composition & Pervasive Computing |