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.     WHunt@Austin.IBM.com     Steven D. Johnson     sjohnson@cs.indiana.edu Local arrangments:     Dan Elgin     delgin@io.com
	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		Compaq
	Intel
Real Intent	Synopsys

---

Document maintained by Steven D. Johnson (sjohnson@cs.indiana.edu).
revised: 17 July 2000.