Important Dates:
 submission: April, 24 April 30
 notification: June 15 June 26
 final manuscript: August 1
Topics and areas
Submission Information
Program Committee

* * * NOTICE * * *

FMCAD submissions are now closed.

In response to many requests, the submission deadline for FMCAD'00 was pushed back to April 30. As a consequence, the reviewing process has been likewise delayed. Notifications will be sent on June 26. The due date for final manuscripts is firm.

Focus and objectives. The International Conference on Formal Methods in Computer-Aided Design 2000 (FMCAD'00) is a biennial forum for presenting state-of-the-art tools, methods, and technologies for the application of formalized reasoning to the design of microelectronic systems. The conference will be held in Austin, Texas, November 1-3, 2000.

The conference covers all relevant formal aspects of work in computer-aided system design including specification, verification, synthesis and testing. Papers on original research, case studies, technology transfer, and practical experience are solicited. A principal goal of the conference is to provide opportunities for researchers in the field to interact with regional semiconductor and CAD industries.

Topics and areas include, but are not limited to:


The conference proceedings will be published in Springer's Lecture Notes in Computer Science series, which includes both printed and electronic dissemination. Consequently, for accepted papers final versions include all source files. Consult Springer's Authors Instructions for instructions on article preparation.


Important Dates:
submission deadline: April 24, 2000      Submissions are now closed
notification: June 15, 2000
final manuscript (electronic): August 1, 2000

Papers: 18-page limit, with abstract. Simultaneous submission to other conferences or journals and submission of previously published material are not allowed.

Tutorials and Tool Demos: 7-page, 12-point font abstract for evaluation. We encourage presentations of tools on a suitable set of completely worked out examples.


Venue: FMCAD 2000 will be held at Austin's Mariott at the Capitol. A conference rate has been secured for a limited number of rooms. To get this rate, you must make your reservation directly with the hotel and mention the conference name.

Registration: cost and procedure not yet determined.

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 (, 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.

Document maintained by Steven D. Johnson (
1st posted: 16 January 2000. Rev. 8 February 2000. Rev. 17 April 2000.