FMCAD'98 Information

The Second International Conference on Formal Methods in Computer-Aided Design

November 3-6, 1998

Hyatt Rickey's

Palo Alto, CA

Supported by generous grants from

Cadence Design Systems, Inc
Synopsys, Inc

In Co-operation with IFIP WG 10.5

The International Conference on Formal Methods in Computer-Aided Design '98 (FMCAD '98) is a forum for presenting state-of-the-art tools and techniques based on formalized reasoning for computer-aided design of hardware, and comes two years after the previous (and first) event in the FMCAD series, which received overwhelming response.

The location of the conference provides a unique opportunity for researchers in the field to interact with engineers from the Silicon Valley semiconductor and CAD companies. Furthermore, FMCAD'98 will be held immediately prior to ICCAD'98, for the convenience of those wanting to attend both conferences.

The objective is to cover all relevant formal aspects of work in computer-aided system design, including verification, synthesis, and testing. The conference will cover original research in this area, as well as case studies, technology transfer, and other practical experiments. A special focus will be on tool demos and embedded tutorials. It is intended to publish the Proceedings in time for distribution at the conference in the Springer LNCS series. Specific technical areas of FMCAD '98 include, but are not limited to:

Registration and Advance Program

You can register for the conference online.

Here is the conference advance program

Invited Speakers

Dr. Mike Flynn Stanford University
Dr. Ken McMillan Cadence Corp, USA
Dr. Amir Pnueli Weizmann Institute, Israel
Dr. Carl Seger Intel Corp, USA

Special Presentation

A one-hour special presentation by Randy Bryant and Bwolen Yang is planned for the afternoon of November 5th, on benchmarking popular BDD packages using "BDD traces" (traces of BDD calls generated by running symbolic model-checkers).


General Chairs: Dr. Ganesh C. Gopalakrishnan, University of Utah
Dr. Phillip J. Windley, Brigham Young University
Local Arrangements Chair: Jens Skakkebaek, Stanford University,

Program Committee

M. Aagaard (Intel, USA) M. Fujita (Fujitsu, USA) T. Leonard (Compaq, USA)
R. Bryant (CMU, USA) S. German (IBM, USA) T. Melham (Glasgow U, UK)
J. Burch (Cadence, USA) T. Henzinger (Berkeley, USA) C. Pixley (Motorola, USA)
A. Camilleri (HP, USA) R. Hojati (HDAC and Berkeley, USA) M. Sheeran (Chalmers Tech U., Sweden)
E. Cerny (U. Montreal, Canada) A. Hu (UBC, Canada) T. Shiple (Synopsys, USA)
S.-K. Chin (Syracuse U., USA) W. Hunt (IBM Austin, USA) J. Skakkebaek (Stanford U.)
C.-T. Chou (Intel, USA) S. Johnson (Indiana U., USA) M. Srivas (SRI International, USA)
F. Corella (HP, USA) C. Delgado Kloos (U. Carlos III, Spain) J. Van Tassel (Texas Instruments, USA)
L. Fix (Intel, Israel) T. Kropf (U. Karlsruhe, Germany) R. Vemuri (U. Cinncinnati, USA)
A. Aziz (U. Texas, Austin)

Administrative Address

Questions or comments should be directed to <>. Contact information for the organizers is as follows:

Professor Ganesh Gopalakrishnan
4540 Merrill Engineering Building
University of Utah, Salt Lake City
UT 84112, USA

Phone : +1.801.581.3568
Fax : +1.801.581.5843

Professor Phillip J. Windley
Laboratory for Applied Logic, 3370 TMCB
Brigham Young University
Provo UT 84602-6576

Phone : +1.801.378.3722
FAX : +1.801.378.7775

Laboratory for Applied Logic, Brigham Young University
© 1994-2000, Phillip J. Windley. All rights reserved.
Reproduction of all or part of this work is permitted for educational or research use provided that this copyright notice is included in any copy.

Last modified: Wednesday, 14-Oct-98 09:13:26 MDT