Prelimnary Programme for the

ACM Sigplan Workshop on

Verification and Computational Logic

VCL'2001

Firenze, Italy, September 4, 2001


Tuesday, 4th of September