8:00am-10:00am Implementation and Execution Models for Logic Programming I by Manuel Hermenegildo
10:30am-12:30pm Theoretical Foundations of Logic Programming I by Miroslaw Truszczynski
1:30pm-3:30pm Implementation and Execution Models for Logic Programming II by Manuel Hermenegildo
4:00pm-6:00pm
Foundations of Semantic Web and Computational Logic I
by Sheila McIlraith
8:00am-10:00am Foundations of Semantic Web and Computational Logic II by Sheila McIlraith
10:30am-12:30pm Theoretical Foundations of Logic Programming II by Miroslaw Truszczynski
Afternoon: Excursion
8:00am-10:00am Answer Set Programming I by Torsten Schaub Torsten
10:30am-12:30pm Foundations of Constraint and Constraint Logic Programming I by Brent Venable
1:30pm-3:30pm Logic Programming and Multi-agent Systems I by Francesca Toni
4:00pm-6:00pm Foundations of Constraint and Constraint Logic Programming II by Brent Venable
8:00am-10:00am Logic Programming and Multi-agent Systems II by Francesca Toni
10:30am-12:30pm Answer Set Programming II by Torsten Schaub
Afternoon: Closing and Departure