16th LOPSTR 2006: Venice, Italy

Invited Talks

Program Development

Partial Evaluation and Program Transformation

Security and Synthesis

Debugging and Testing

Termination and Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier