Monday July 29th

All sessions
See also the by-slot program


CAVCADEICLP

09:00-10:00 in Aud. 1
CADE+CAV Invited talk

09:15-10:30 in Aud. 4
ICLP #1: Introduction and Best Papers

10:00-10:30 in Aud. 1
CAV #9: SAT Based Methods I

10:00-10:30 in Aud. 3
CADE #9

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

11:00-12:30 in Aud. 1
CAV #10: SAT Based Methods II

11:00-12:30 in Aud. 3
CADE #10: Combination of Decision Procedures

11:00-12:30 in Aud. 4
ICLP #2: Applications I

L U N C H

14:00-15:30 in Aud. 1
CAV #11: Symbolic Model Checking II

14:00-15:30 in Aud. 3
CADE #11: Logical frameworks

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

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

16:00-17:30 in Aud. 1
CAV #12: Tool Presentations I

16:00-17:00 in Aud. 3
CADE #12: Model checking

16:00-17:30 in Aud. 4
ICLP #4: Tabling and Deductive Databases

17:00-18:00 in Aud. 3
CADE CADE business meeting

17:30-18:30 in Lobby
ICLP Poster session

17:45-18:30 in Aud. 2
CoLogNET meeting

18:40-19:00 in Main entrance
ICLP ICLP Bus leaving to City Hall

19:00-21:00 in City Hall
CADE+CAV+ICLP+TABLEAUX City Hall reception