Sunday July 21st

All sessions
See also the by-slot program


FICSDOMAINREFINE VDMHORWRSEFSDICCFME-T3AS

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

08:45-09:00 in Aud. 6
WRS Opening

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

09:00-10:30 in Aud. 2
FICS #5 (w. invited talk)

09:00-10:30 in Aud. 3
DOMAIN #5 (w. invited talk)

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

09:00-10:30 in Aud. 5
HOR #1 (w. invited talk)

09:00-10:30 in Aud. 6
WRS #1 (w. invited talk)

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

R E F R E S H M E N T S

11:00-12:30 in Aud. 2
FICS #6

11:00-12:30 in Aud. 3
DOMAIN #6

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

11:00-12:30 in Aud. 5
HOR #2

11:00-12:30 in Aud. 6
WRS #2

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

11:00-12:30 in Aud. 8
ICC #4 (w. invited talk)

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

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

L U N C H

14:00-15:30 in Aud. 3
DOMAIN #7 (w. invited talk)

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

14:00-15:00 in Aud. 5
HOR+WRS Joint invited speaker (invited talk)

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

14:00-15:30 in Aud. 8
ICC #5 (w. invited talk)

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

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

14:30-15:30 in Aud. 2
FICS #7 (invited talk)

15:00-15:30 in Aud. 5
HOR #3

15:00-15:30 in Aud. 6
WRS #3

R E F R E S H M E N T S

16:00-17:00 in Aud. 2
FICS #8

16:00-17:00 in Aud. 3
DOMAIN #8 (invited talk)

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

16:00-17:00 in Aud. 5
HOR #4

16:00-17:30 in Aud. 6
WRS #4

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

16:00-17:30 in Aud. 8
ICC #6

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. 6
WRS Final discussion and closing

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