SCOPES 2009: Nice, France

Compilation and optimization

Keynote talk

Domain-specific languages

Validation and verification

maintained by Schloss Dagstuhl LZI at University of Trier