Registration 8:30 - 9:00 | COCV, LDTA, CMSB, GCW-SV, SLAP, Tutorials: Registration | ||||||||
---|---|---|---|---|---|---|---|---|---|
Session 1 9:00 - 10:30 | AVIS: Tutorial | GaLoP: Invited Talk | GCW-SV | SLAP | QAPL | LDTA | COCV: Welcome and Keynote Speech (chair: Jens Knoop) | Tutorials | CMSB: (chair: Gordon Plotkin) |
Coffee | |||||||||
Session 2 11:00 - 12:30 | AVIS: Invited Talk 3 | GaLoP: Model checking | GCW-SV | SLAP | QAPL | LDTA | COCV: (Chair: Markus Müller-Olm) | Tutorials | CMSB: (chair: Igor Goryanin) |
Lunch | |||||||||
Session 3 14:00 - 15:30 | AVIS: Behavioral Equivalence | GaLoP: Programming language semantics | GCW-SV | SLAP | QAPL | LDTA | COCV: (Chair: Sabine Glesner) | Tutorials | CMSB: (chair: Gordon Plotkin) |
Coffee | |||||||||
Session 4 16:00 - 18:00 |
GaLoP: Information flow | GCW-SV | SLAP | QAPL | LDTA | COCV: (Chair: Wolf Zimmermann) | Tutorials | CMSB: (chair: Muffy Calder) | |
Evening 7.45pm for 8pm | Social: Dinner |