PPDP 2012: Leuven, Belgium

PPDP and LOPSTR invited talk

Specification and execution

Logics

Matching, parsing and searching

Types

Concurrency

Applications

maintained by Schloss Dagstuhl LZI at University of Trier