CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

Schedule


Time Sunday 27th Monday 28th Tuesday 29th Wednesday 30th Thursday 31st Friday 1st Saturday 2nd Sunday 3rd
08:00-9:00 Registration Registration Registration Registration Registration Registration
Excursions in Miami:
Seaquarium
Vizcaya
SCUBA diving
Golf
09:00-10:00 W1:
Q
P
Q
T1:
S
A
T
W2:
P
DP
AR
W4:
MC
P
AA
Session 1:
Invited Speaker
Edmund Clarke
Session 5:
Invited Speaker
Greg Nelson
C
A
S
C
Session 12:
Invited Speaker
Tony Cohn
Excursion to:
Key Largo
10:00-10:30 Break Break Break Break Break
10:30-12:30 W1:
Q
P
Q
T1:
S
A
T
W2:
P
DP
AR
W4:
MC
P
AA
Session 2:
Talks
Session 6:
Talks
Session 13:
Talks
12:30-14:00 Lunch Lunch Lunch Lunch Lunch Lunch
14:00-15:30 W3:
C&
NA
AR
T1:
S
A
T
W2:
P
DP
AR
W4:
MC
P
AA
Session 3:
Talks
Session 7:
Talks
Session 14:
Talks
Session 10:
Invited Speaker
Hélène Kirchner
15:30-16:00 Break Break Break Break Break Break
16:00-18:00 Registration W3:
C&
NA
AR
T1:
S
A
T
W2:
P
DP
AR
W4:
MC
P
AA
Session 4:
Talks
Session 8:
System descriptions
Session 11:
System descriptions
Session 15:
Talks
Herbrand award ceremony
Session 9:
CASC
Results presentation
18:00-19:00 Social Event:
Reception
CADE
Business meeting
Social Event:
Nights in Miami
SoBe or Bayside
19:00-20:00 Social Event:
CASC Dinner
Social Event:
Banquet
Social Event:
CASQ
(CADE Squash Competition)
20:00-Later