1. PLILP 1988: Orléans, France

Functional Programming and Logic Programming

Abstract Interpretation in Logic Programming

Logic Programming in Compiler Writing

Grammars

Attribute Grammars and Logic Programming

Attribute Grammars in Logic Programming

Logic Programming for Programming Environments

maintained by Schloss Dagstuhl LZI, founded at University of Trier