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

4-7 September 2001
Institute for System Level Integration
Livingston, Scotland.

Invited Speakers

The CHARME 2001 programme includes invited talks from the following internationally-respected researchers:

• Steven D. Johnson
  Indiana University
  View from the fringe of the fringe
  (Joint with TPHOLs 2001.)
• Alan Mycroft
  University of Cambridge
  Hardware Synthesis using SAFL and Application to Processor Design