Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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