11. LOPSTR 2001: Paphos, Cyprus

Invited Speaker

Program Transformation and Equivalence

Program Verification

Program Analysis

Program Development

Program Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier