August 21st, 2006

Time Title Speaker Mentor
8:30 - 8:35 Welcome and Introduction Enrico Pontelli (New Mexico State University)
8:35 - 9:05 Static Memory Management for Logic Programming Languages Quan Phan (K.U. Leuven) Michel Ferreira (University of Porto)
9:05 - 9:35 Deductive Databases: Implementation, Parallelism, and Applications Tiago Soares (University of Porto) David S. Warren (SUNY Stony Brook)
9:35 - 10:05 Description Logics: Reasoning in Prolog Gergerly Lukacsy (Budapest Institute of Technology) Inna Pivkina (New Mexico State University)
10:05 - 10:35 Declarative Problem Solving using Answer Set Programming Martin Brain (University of Bath) Son Cao Tran (New Mexico State University)
10:35 - 11:00 BREAK
11:00 - 11:30 Efficient Reasoning about Action and Change in the Presence of Incomplete Information and its Application in Planning Tu Phan (New Mexico State University) Agostino Dovier (University of Udine)
11:30- 12:00 Deducing Logic Programs Ka-Shu Wong (National ICT Australia) Enrico Pontelli (New Mexico State University)
12:00 - 12:30 Invited Talk: Logic Programming: the Grand Unifying Theory of Computer Science Gopal Gupta (University of Texas at Dallas)