14th LOPSTR 2004: Verona, Italy

Verification and Analysis

Theory and Security

Transformations

Program Development

Termination

Program Development and Synthesis

maintained by Schloss Dagstuhl LZI, founded at University of Trier