Third International Conference on Formal Methods in Computer-aided Design Program Committee

Mark Aagaard, Intel Corp.

Dominique Borrione, TIMA, Univ. Joseph Fourier

Randy Bryant, Carnegie Mellon Univ.

Albert Camilleri, Hewlett-Packard Co.

Eduard Cerny, Univ. Montréal

Shiu-kai Chin, Syracuse Univ.

Ed Clarke, Carnegie Mellon Univ.

Dave Dill, Stanford Univ.

Hans Eveking, Darmstadt Univ. of Technology

Limor Fix, Intel Corp.

Masahiro Fujita, Fujitsu Laboratories

Steven German, IBM T.J. Watson Research Center

Ganesh Gopalakrishnan, Univ. Utah

Michael J. C. Gordon, Cambridge Univ.

Yuri Gurevich, Microsoft

Keith Hanna, Univ. Kent

Alan Hu, Univ. British Columbia

*Warren A. Hunt, Jr. (WHunt@Austin.IBM.COM), IBM Research Lab/Austin

Damir Jamsek IBM Research Lab/Austin

*Steven D. Johnson (sjohnson@cs.indiana.edu), Indiana Univ.

Matt Kaufmann, AMD Corp.

Thomas Kropf, Univ. Tübingen

Andreas Kuehlmann, IBM T.J. Watson Research Center

John Launchbury, Oregan Graduate Institite

Tim Leonard, Compaq Computer Corp.

Ken McMillan, Cadence Corp.

Tom Melham, Univ. Glasgow

Paul Miner, NASA Langley Research Center

John O'Leary, Intel Corp.

Laurence Pierre, Univ. de Provence

Carl Pixley, Motorola Corp.

Amir Pnueli, Weizmann Inst.

Rajeev K. Ranjan, Real Intent

David Russinoff, AMD Corp.

Mary Sheeran, Chalmers Tekniska Univ.

Anna Slobodova, Compaq Computer Corp.

Mandayam Srivas, SRI

Victoria Stavridou, SRI International

Ranga Vemuri, Univ. Cincinnati

Matt Wilding, Rockwell Collins, Inc.

Phil Windley, Brigham Young Univ.

* program chair