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 |