| Time | Title | Speaker |
| 8:00 - 9:00 | Registration | |
| 9:00 - 9:05 | Welcome and Introduction | Konstantinos Sagonas |
| Section I: Compilation and Implementation | ||
| 9:05 - 9:35 | A Choice-Point Library for Backtrack Programming | Pierre-Etienne Moreau |
| 9:35 - 10:05 | Compiling Resources in Linear Logic Programming Languages | Mutsunori Banbara and Naoyuki Tamura |
| 10:05 - 10:35 | Tracing Prolog Programs by Source Instrumentation is Efficient Enough | Mireille Ducasse and Jacques Noye |
| Coffee/Tea Break |
| Section II: Multi-Threaded Implementations | ||
| 11:00 - 12:00 | Jinni: a Lightweight Java-based Logic Engine for Internet Programming | Paul Tarau |
| 12:00 - 12:30 | SICStus MT - Multi-threaded Execution Environment for SICStus Prolog | Jesper Eskilson and Mats Carlsson |
| Buffet Lunch |
| Section III: Constraints and Applications | ||
| 14:00 - 14:30 | Extension of the Revised Simplex Method for Detecting Implicit Equalities in Constraint Logic Programming | Philippe Refalo |
| 14:30 - 15:00 | Parallel Arc-Consistency for Functional Constraints | A. Ruiz-Andino, L. Araujo, F. Saenz and J. Ruz |
| 15:00 - 15:30 | Natural Language Multiprocessing: a case study | E. Pontelli, G. Gupta, J. Wiebe, and D. Farwell |
| 15:30 - 16:00 | Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs | Donald A. Smith and Mark Utting |