08:45-09:00 in Aud. 4
REFINE #7: Opening and introduction

08:45-09:00 in Aud. 10
AS #1: Opening and Introduction

09:00-10:40 in Aud. 4
REFINE #8: Architecture II (w. invited talks)

09:00-10:30 in Aud. 9
FME-T3

09:00-10:30 in Aud. 10
AS #2: Tools and Applications

09:30-10:30 in Aud. 7
EFSD #1: Welcome and Invited Talk

11:00-12:40 in Aud. 4
REFINE #9: Concurrency (w. invited talk)

11:00-12:30 in Aud. 7
EFSD #2: Technical Papers 1

11:00-12:30 in Aud. 9
FME-T3

11:00-12:30 in Aud. 10
AS #3: Foundations

14:00-15:30 in Aud. 4
VDM Tutorial (invited tutorial)

14:00-15:30 in Aud. 7
EFSD #3: Technical Papers 2

14:00-15:30 in Aud. 9
FME-T3

14:00-15:30 in Aud. 10
AS #4: Related Frameworks (w. invited talk)

16:00-17:30 in Aud. 4
VDM Tutorial (continued invited tutorial)

16:00-17:00 in Aud. 7
EFSD #4: System Demos

16:00-17:30 in Aud. 9
FME-T3

16:00-17:00 in Aud. 10
AS #5: Foundations

17:00-17:30 in Aud. 10
AS #6: Tools

17:30-18:00 in Aud. 10
AS #7: The Future of Action Semantics and Related Frameworks