Saturday July 27th

All sessions
See also the by-slot program


CAVCADEPCLSAVE

09:00-11:15 in Aud. 1
CAV #1: Tutorial I (w. invited tutorial, continued invited tutorial)

09:00-10:30 in Aud. 3
CADE #1: Description logics and Semantic Web (w. invited talk)

08:55-10:30 in Aud. 7
PCL #1: Axioms

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

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

11:00-12:30 in Aud. 3
CADE #2: Proof-carrying code and compiler verification

11:00-12:30 in Aud. 7
PCL #2: Models and Sets

11:00-12:30 in Aud. 8
SAVE #2

11:30-12:30 in Aud. 1
CAV #2: Tutorial IIa (invited tutorial)

L U N C H

13:45-15:30 in Aud. 7
PCL #3: Dynamics, Interaction and Nonmonotonicity (w. invited talk)

14:00-15:00 in Aud. 1
CAV #3: Tutorial IIb (continued invited tutorial)

14:00-15:30 in Aud. 3
CADE #3: Non-classical logics

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

15:15-17:30 in Aud. 1
CAV #4: Tutorial III (w. invited tutorial, continued invited tutorial)

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

16:00-17:30 in Aud. 3
CADE #4: System descriptions

16:00-17:30 in Aud. 7
PCL #4: Panel and Other Issues

16:00-17:30 in Aud. 8
SAVE #4

17:30-19:00 in Lobby
CADE+CAV Welcome reception

19:00-21:00 in Restaurant A Hereford Beefstouw
PCL Dinner

19:30-21:00 in Restaurant Da Mario
CADE CASC dinner