ILPS97 Post-Conference Workshops

Workshop no 1

Specialization of Declarative Programs and Its Applications

Workshop no 2

(Trans)Actions and Change in Logic Programming and Deductive Databases

Workshop no 3

Interval Constraints

Workshop no 4

Tools and Environments for (Constraint) Logic Programming

Workshop no 5

Logic Programming and Knowledge Representation

Workshop no 6

Verification, Model Checking and Abstract Interpretation

Workshop no 7

Parallelism and Implementation Technology for (Constraint) Logic Programming Languages