Registration ~8:30 - 9:00* | AVIS, GaLoP, QAPL, Tutorials: Registration | |||
---|---|---|---|---|
Session 1 ~9:00 - 10:30* | AVIS: Various | Tutorials | GaLoP: Invited Talk | QAPL |
Coffee | ||||
Session 2 ~11:00 - 12:30* | AVIS: Parameterized and Open Systems | Tutorials | GaLoP: Interaction Systems | QAPL |
Lunch | ||||
Session 3 ~14:30 - 16:30* |
AVIS: Invited Talk 2 | Tutorials | GaLoP: Theoretical aspects | QAPL |
Coffee | ||||
Session 4 ~17:00 - 18:30* |
AVIS: Abstraction | Tutorials | GaLoP: Proof search | QAPL |