| Session 1 9:00 - 10:30 |
| CMSB: (chair: Corrado Priami) | ||
|---|---|---|---|---|
| Coffee | ||||
| Session 2 11:00 - 12:30 | CC: Compilation | FOSSACS: Rule Formats and Bisimulation | TACAS: Regular Model-checking | CMSB: (chair: François Fages) |
| Lunch | ||||
| Session 3 14:30 - 16:30 | CC: Parallelism | FOSSACS: Probabilistic Models | TACAS: Infinite state systems | CMSB: (chair: David Gilbert) |
| Coffee | ||||
| Session 4 17:00 - 18:30 | CC: Memory Management | FOSSACS: Algebraic Models | TACAS: Abstract Interpretation | CMSB: (chair: Jane Hillston) |
| Evening 19:30 | Social: Reception |