Schedule
for Compulog/ALP Summer School 2004
June 14:
8:00-9:00 Breakfast.
9:00-11:30 Semantic Web - I by Stefan
Decker
11:30-1:00 Lunch
1:00-3:30 CLP - I by
Pascal
van Hentenryck
3:30-4:00 Coffee Break
4:00-6:30 Inductive LP - I
by Vitor
Santos Costa
June 15:
8:00-9:00 Breakfast.
9:00-11:30 CLP - II
by Pascal
van Hentenryck
11:30-1:00 Lunch
1:00-3:30 Inductive LP - II
by Vitor
Santos Costa
3:30-4:00 Coffee Break
4:00-6:30 Semantic Web - II by Stefan
Decker
June 16:
8:00-9:00 Breakfast.
9:00-11:30 Tabled LP - I by David S.
Warren
11:30-1:00 Lunch
1:00-3:30 Answer Set Programming - I
by Chitta Baral
3:30-4:00 Coffee Break
4:00-6:30 Logical Aspects of Computer
Security - I by Ninghui Li
June 17:
8:00-9:00 Breakfast.
9:00-11:30 Answer Set Programming - II by Chitta Baral
11:30-1:00 Lunch
1:00-3:30 Logical Aspects of Computer Security - II
by Ninghui Li
3:30-4:00 Coffee Break
4:00-6:30 Tabled LP - II by David S. Warren