PPDP 2009: Coimbra, Portugal

Functional programming

Integration of paradigms

Reasoning systems

Expressive logics

Logic programming

Concurrency

Distribution

Constraints

Types