| Session 1 9:00 - 10:00 | FOSSACS: Invited talk | CMSB: (chair: Vincent Danos) | ||
|---|---|---|---|---|
| Coffee | ||||
| Session 2 10:30 - 12:30 | CC: Program Transformation | FOSSACS: Games and Automata | TACAS: Tools presentations 1 | CMSB: (chair: Luca Cardelli) |
| Lunch | ||||
| Session 3 14:30 - 16:30 | CC: Tool Demonstrations | FOSSACS: Language Analysis | TACAS: Automata and logics | CMSB: (chair: Adelinde Uhrmacher) |
| Coffee | ||||
| Session 4 17:00 - 18:30 | CC: Pointer Analysis | FOSSACS: Partial Order Models | TACAS: Probabilistic systems, probabilistic model-checking | CMSB: Poster Presentations (chair: Gordon Plotkin) |