Thursday August 1st

All sessions
See also the by-slot program


TABLEAUXICLPCLIMAPaPSRT-TOOLS

09:00-10:30 in Aud. 3
TABLEAUX #7

09:00-10:30 in Aud. 4
ICLP #13: Stable Models and Answer Sets II

09:00-10:30 in Aud. 7
CLIMA #1: Agents: Arguments and Updates

09:00-10:30 in Aud. 8
PaPS #3

09:15-10:30 in Aud. 10
RT-TOOLS #1: Design and Synthesis

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

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

11:00-12:30 in Aud. 4
ICLP #14: Negation and Extensions

11:00-12:30 in Aud. 7
CLIMA #2: Logics for Agents

11:00-12:30 in Aud. 8
PaPS #4 (w. invited talk)

11:00-12:30 in Aud. 10
RT-TOOLS #2: Model-Checking

L U N C H

14:00-15:40 in Aud. 3
TABLEAUX #9: Position papers

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

14:00-15:30 in Aud. 7
CLIMA #3: BDI Agent Systems

14:00-15:30 in Aud. 10
RT-TOOLS #3: Tool Development

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

16:10-17:30 in Aud. 3
TABLEAUX #10: Position papers

16:00-17:30 in Aud. 4
ICLP #16: Applications II

16:00-17:30 in Aud. 7
CLIMA #4: Agents: Speculative Computation and Introspection

16:00-17:00 in Aud. 10
RT-TOOLS #4: Applications

17:30-18:30 in Aud. 7
CLIMA Panel Discussion