| Session 1 9:00 - 10:00 | General: Unifying invited talk | ||
|---|---|---|---|
| Coffee | |||
| Session 2 10:30 - 12:30 | ESOP: Abstract Interpretation | FOSSACS: Logics | |
| Lunch | |||
| Session 3a 14:30 - 15:30 | General: Unifying invited talk | ||
| Session 3 15:45 - 16:45 | ESOP: Program Slicing | FASE: Web Services | FOSSACS: Coalgebraic Modal Logics |
| Coffee | |||
| Session 4 17:15 - 18:45 | ESOP: Abstract Interpretation | FASE: Graph Grammars and Graph Transformations | FOSSACS: Computational Models |
| Evening 19:30 for 20:00 | Social: Banquet |