| Session 1 9:00 - 10:00 | ESOP: Invited talk | |||
|---|---|---|---|---|
| Coffee | ||||
| Session 2 10:30 - 12:30 | TGC | ESOP: Security | FASE: Components | TACAS: Satisfiability |
| Lunch | ||||
| Session 3a 14:30 - 15:30 | TACAS: Invited talk | |||
| Session 3 15:45 - 16:45 | TGC | ESOP: Functional Languages | FASE: Product Lines | TACAS: Testing |
| Coffee | ||||
| Session 4 17:15 - 18:45 | TGC | ESOP: Foundational Aspects | FASE: Theory | TACAS: Abstraction and reduction |
| Evening 18:45 - 19:45 | Social: Edinburgh Uni. Reception |