Tuesday July 30th

All sessions
See also the by-slot program


CAVCADE TABLEAUXICLP

09:00-10:30 in Aud. 1
CAV #13: Infinite State Model Checking

09:00-10:30 in Aud. 3
CADE #13: Equational reasoning

09:00-10:30 in Aud. 4
ICLP #5: Constraints (w. invited talk)

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

11:00-12:30 in Aud. 1
CAV #14: Compositional Verification II

11:00-11:30 in Aud. 3
CADE #14: Proof theory

11:00-12:30 in Aud. 4
ICLP #6: Memory Management

11:30-12:30 in Aud. 3
CADE+TABLEAUX Invited talk

L U N C H

14:00-15:30 in Aud. 1
CAV #15: Extended Model Checking

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

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

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

16:00-17:15 in Aud. 1
CAV #16: Tool Presentations II

16:00-17:30 in Aud. 3
TABLEAUX #2

16:00-17:30 in Aud. 4
ICLP #8: Programming and Extensions

17:15-18:15 in Aud. 1
CAV CAV Business Meeting

17:30-18:30 in Aud. 4
ICLP Association of Logic Programming general meeting

17:45-18:30 in Aud. 3
IFCoLog meeting

18:30-21:00 in DIKU
ICLP Prolog Programming Competition

19:30-22:00 in Restaurant Luftkastellet
CAV Conference dinner