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

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

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

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

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. 9
FME-T2 #4: Web Services

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

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. 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)