3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic

Schedule of tutorials


Thursday, July 24:

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



Friday, July 25:

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



Saturday, July 26:

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



Sunday, July 27:

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