11th
Advanced Research Working Conference
on Correct Hardware Design and Verification Methods
4-7 September 2001
Institute for
System Level Integration
Livingston, Scotland.
Programme Chair
- Tiziana Margaria
- University of Dortmund
- Fachbereich Informatik
- Baroper Str. 301
- D-44221 Dortmund, Germany
- Tel: +49 (0)231 755 5804, Fax: +49 (0)231 755 5802
- E-mail:
tiziana@sunshine.cs.uni-dortmund.de
Conference Chair
- Tom Melham
- Department of Computing Science
- University of Glasgow
- 17 Lilybank Gardens
- Glasgow G12 8QQ, Scotland
- Tel: +44 (0)141 330 4967, Fax: +44 (0)141 330 4913
- E-mail: tfm@dcs.gla.ac.uk
Local Arrangements Chair
- Andrew Ireland
- Department of Computing & Electrical Engineering
- Heriot-Watt University
- Riccarton Campus
- Edinburgh EH14 4AS, Scotland
- Tel: +44 (0)131 451 3409, Fax: +44 (0)131 451 3327
- E-mail: a.ireland@hw.ac.uk
Publicity Chair
- Simon Gay
- Department of Computing Science
- University of Glasgow
- 17 Lilybank Gardens
- Glasgow G12 8QQ, Scotland
- Tel: +44 (0)141 330 6035, Fax: +44 (0)141 330 4913
- E-mail: simon@dcs.gla.ac.uk