Saturday

back to main programme
Registration
~8:30 - 9:00*
AVIS, GaLoP, QAPL, Tutorials: Registration
Session 1
~9:00 - 10:30*
AVIS: VariousTutorialsGaLoP: Invited TalkQAPL
Coffee
Session 2
~11:00 - 12:30*
AVIS: Parameterized and Open SystemsTutorialsGaLoP: Interaction SystemsQAPL
Lunch
Session 3
~14:30 - 16:30*
AVIS: Invited Talk 2 TutorialsGaLoP: Theoretical aspectsQAPL
Coffee
Session 4
~17:00 - 18:30*
AVIS: Abstraction TutorialsGaLoP: Proof searchQAPL

* Note that session times vary by upto 30 minutes between different events. Please check event-specific programmes for session times.