The International Conference on Formal Methods in Computer-Aided Design 2000 is a biennial forum on state·of·the·art tools, methods, and technologies for the application of formalized reasoning to the design of microelectronic systems. The conference covers all relevant formal aspects of work in computer·aided system design including specification, verification, synthesis and testing. A principal goal of the conference is to provide opportunities for interactions among academic and industrial researchers, developers, and practitioners using formal methods for system design.
FMCAD Conference registration
Pre-conference registration is now over, but you can still register at the conference site. Please bring check or credit card to the on-site registration table. Pricing information can be found in the file links to the right. FAX forms: [pdf] [word]
Location: Austin's Mariott at the Capitol            November 1-3, 2000
A conference rate has been secured for a limited number of rooms.
Make your reservation directly with the hotel.
tel:  512-478-1111 Ask for the conference rate for "FMCAD"
fax: 512-478-3700
FAX forms: [pdf] [word]
Related Events
ACL2 Workshop 2000, October 30-31, 2000
Workshop on Formal Specification and Verification Methods for Shared Memory Systems
October 31, 2000
Conference Information
Advance program Conference chairs:
    Warren A Hunt, Jr.
    Steven D. Johnson
Local arrangments:
    Dan Elgin
Advance program flyer
Program committee
Call for papers
Local and Regional Information
Directions and local transportation
What's happening in Austin
City of Austin: Austin City Connection
Texas for visitors
We are grateful to the following companies for their support
AMD Cadence Compaq
IBM Intel Prover<br>Technology
Synopsys Xilinx

Document maintained by Steven D. Johnson (
revised: 17 July 2000.