Saturday July 20th

All sessions
See also the by-slot program


FICSDOMAINREFINEVDMICCFME-T2FME-T1

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

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

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

09:00-10:30 in Aud. 4
REFINE #2: Refinement calculus I (w. invited talk)

09:00-09:30 in Aud. 9
FME-T2 #1: Introduction

09:00-10:30 in Aud. 10
FME-T1 #1: Introduction to PVS

09:30-10:30 in Aud. 9
FME-T2 #2: Basic Concepts

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

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

11:00-12:30 in Aud. 3
DOMAIN #2 (w. invited talk)

10:50-12:40 in Aud. 4
REFINE #3: Refinement calculus II (w. invited talks)

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

11:00-12:30 in Aud. 9
FME-T2 #3: Modeling and Analysis

11:00-12:30 in Aud. 10
FME-T1 #2: New Capabilities in PVS 3.0

11:30-12:30 in Aud. 7
VDM Invited talk

L U N C H

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

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

14:00-15:30 in Aud. 4
REFINE #4: Z and Concurrency I

14:00-15:30 in Aud. 7
VDM #1

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

14:00-15:30 in Aud. 9
FME-T2 #4: Web Services

14:00-15:30 in Aud. 10
FME-T1 #3: Introduction to ICS

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

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

16:00-17:30 in Aud. 3
DOMAIN #4 (w. invited talk)

15:50-17:10 in Aud. 4
REFINE #5: Z and Concurrency II (invited talks)

16:00-17:00 in Aud. 7
VDM #2

16:00-17:00 in Aud. 8
ICC #3

16:00-17:00 in Aud. 9
FME-T2 #5: Software Support

16:00-17:30 in Aud. 10
FME-T1 #4: Introduction to SAL

17:15-18:30 in Aud. 4
REFINE #6: Architecture I (w. invited talk)

19:00-23:00 in Restaurant Langelinie Pavillonen
DOMAIN DOMAIN dinner