PPDP 2006: Venice, Italy

Design patterns

Net technologies

Types

Language issues

Analysis and debugging

Meta-level Reasoning

Compilation

maintained by Schloss Dagstuhl LZI at University of Trier