| Session 1 9:00 - 10:00 | FASE: Invited talk | |||
|---|---|---|---|---|
| Coffee | ||||
| Session 2 10:30 - 12:30 | TGC | ESOP: Security | FASE: Code Understanding and Validation | TACAS: Specification, program synthesis |
| Lunch | ||||
| Session 3 14:30 - 16:30 | TGC | ESOP: Types | FASE: The UML | TACAS: Tool presentations 2 |
| Coffee | ||||
| Session 4 17:00 - 18:30 | TGC | ESOP: Java Foundation | FASE: Automatic Proofs and Provers | TACAS: Model-checking |
| Evening 19:30 | Social: Dinner | TGC: Dinner |