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

11 Aug 1997, Ulf Nilsson