PPDP 2006: Venice, Italy

Design patterns

Net technologies

Types

Language issues

Analysis and debugging

Meta-level Reasoning

Compilation