Welcome to

CHARME 2001

the

11^th Advanced Research Working Conference
on Correct Hardware Design and Verification Methods

4-7 September 2001

Institute for System Level Integration

Livingston, Scotland

The proceedings of the conference is published as volume 2144 in the Springer-Verlag Lecture Notes in Computer Science series. This is available online on Springer's web page for LNCS Volume 2144.