CLP SUMMER SCHOOL SCHEDULE (Tentative) Each day the following schedule will be followed: However, individual instructors may change things around as they see fit. 9:00 - 10:30 Lecture 1 on Topic X 10:30 - 11:00 Questions & Answers 11:00 - 11:30 Coffee Break 11:30 - 12:30 Lecture 2 on Topic X 12:30 - 02:00 Lunch 02:00 - 02:30 Lecture 2 on Topic X cont'd 02:30 - 03:00 Questions & Answers for Lecture 2 03:00 - 03:30 Coffee Break 03:30 - 05:00 Lecture 3 on Topic X 05:00 - 5:30 Questions & Answers on Lecture 3 Sunday, August 1st: X = Constraint Logic Programming by Helmut Simonis Monday, August 2nd: X = Tabled Logic Programming by David Warren, Terrence Swift, C.R. Ramakrishnan Tuesday, August 3rd: X = Logic Programming and the Internet by Paul Tarau Wednesday, August 4th: X = Logic Programming and Knowledge Representation by Michael Gelfond Thursday, August 5th: X = Sequential and Parallel Implementation by Enrico Pontelli, Gopal Gupta Friday, August 6th: X = Static Analysis by Saumya Debray, Manuel Hermenegildo