14. WLP 2000: Würzburg, Germany

Invited Talks

Constraint Logic Programming

Extensions of Logic Programming

Functional Logic Programming

Logic and AI

Program Analysis and Debugging

System Demonstrations

maintained by Schloss Dagstuhl LZI at University of Trier