All sessionsSee also the by-slot program
09:00-10:00 in Aud. 1CADE+CAV Invited talk
09:15-10:30 in Aud. 4ICLP #1: Introduction and Best Papers
10:00-10:30 in Aud. 1CAV #9: SAT Based Methods I
10:00-10:30 in Aud. 3CADE #9
R E F R E S H M E N T S
11:00-12:30 in Aud. 1CAV #10: SAT Based Methods II
11:00-12:30 in Aud. 3CADE #10: Combination of Decision Procedures
11:00-12:30 in Aud. 4ICLP #2: Applications I
L U N C H
14:00-15:30 in Aud. 1CAV #11: Symbolic Model Checking II
14:00-15:30 in Aud. 3CADE #11: Logical frameworks
14:00-15:30 in Aud. 4ICLP #3: Invited Tutorial
16:00-17:30 in Aud. 1CAV #12: Tool Presentations I
16:00-17:00 in Aud. 3CADE #12: Model checking
16:00-17:30 in Aud. 4ICLP #4: Tabling and Deductive Databases
17:00-18:00 in Aud. 3CADE CADE business meeting
17:30-18:30 in LobbyICLP Poster session
17:45-18:30 in Aud. 2 CoLogNET meeting
18:40-19:00 in Main entranceICLP ICLP Bus leaving to City Hall
19:00-21:00 in City HallCADE+CAV+ICLP+TABLEAUX City Hall reception