11th
Advanced Research Working Conference
4-7 September 2001
on Correct Hardware Design and Verification Methods
Institute for
System Level Integration
Livingston, Scotland.
| Luca de Alfaro | (Univ. Berkeley, USA) |
| Dominique Borrione | (Univ. Grenoble, France) |
| Eduard Cerny | (Nortel Networks, USA) |
| Luc Claesen | (IMEC, Belgium) |
| Hans Eveking | (T.U. Darmstadt, Germany) |
| Kathi Fisler | (Worcester Polytechnic Institute, USA) |
| Daniel Geist | (IBM, Haifa, Israel) |
| Ganesh Gopalakrishnan | (Univ. of Utah, USA) |
| Mark Greenstreet | (Univ. of British Columbia, Canada and SUN Microsystems, Palo Alto, USA) |
| Nicolas Halbwachs | (VERIMAG, Grenoble, France) |
| Hardi Hungar | (METAFrame Research, Dortmund, Germany) |
| Warren Hunt | (IBM and University of Texas, Austin, USA) |
| Steve Johnson | (Indiana Univ., USA) |
| Thomas Kropf | (Robert Bosch GmbH, Reutlingen and Universität Tübingen, Germany) |
| John Launchbury | (Oregon Graduate Inst., USA) |
| Tiziana Margaria (Chair) | (Universität Dortmund and METAFrame Technologies, Dortmund, Germany) |
| John O'Leary | (Intel, USA) |
| Laurence Pierre | (University of Marseille, France) |
| Mary Sheeran | (Chalmers Univ. and Prover Technology, Göteborg, Sweden) |