Wednesday July 31st

All sessions
See also the by-slot program


CAVTABLEAUXICLPWLPEPaPS RADMCICLOPS

09:00-10:00 in Aud. 1
CAV #17: Invited talk

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

09:00-10:30 in Aud. 4
ICLP #9: World Wide Web (w. invited talk)

09:00-10:30 in Aud. 7
WLPE #1: Constraints

09:00-10:30 in Aud. 8
RADM #1

10:00-10:30 in Aud. 1
CAV #18: Code Verification

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

11:00-12:30 in Aud. 1
CAV #19: Regular Model Checking

11:00-12:30 in Aud. 3
TABLEAUX #4

11:00-12:30 in Aud. 4
ICLP #10: Theory

11:00-12:30 in Aud. 7
WLPE #2: Constraints, Object-oriented

11:00-12:00 in Aud. 8
RADM #2

11:30-12:30 in Aud. 10
CICLOPS #1: LP and Program Analysis

L U N C H

14:00-15:30 in Aud. 1
CAV #20: Model Reduction

14:00-15:30 in Aud. 3
TABLEAUX #5

14:00-15:30 in Aud. 4
ICLP #11: Invited Tutorial

14:00-15:30 in Aud. 7
WLPE #3: Logic programming

14:00-15:30 in Aud. 8
PaPS+RADM Joint session 1 (w. invited talk)

14:00-15:30 in Aud. 10
CICLOPS #2: (C)LP and OO

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

16:00-17:30 in Aud. 3
TABLEAUX #6 (w. system descriptions)

16:00-16:30 in Aud. 4
ICLP #12: Stable Models and Answer Sets I

16:00-16:30 in Aud. 7
WLPE #4: Abstract interpretation

16:00-17:30 in Aud. 8
PaPS+RADM Joint session 2 (panel)

16:00-17:00 in Aud. 10
CICLOPS #3: LP and its implementation guts

17:30-18:30 in Aud. 3
TABLEAUX TABLEAUX Business Meeting

18:00-19:30 in Nyhavn
ICLP ICLP boat trip excursion; leaving from *Nyhavn*

19:30-22:00 in Restaurant Luftkastellet
ICLP+TABLEAUX Conference dinner (w. banquet speaker)