|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 forms: [pdf] [word]|
|ACL2 Workshop 2000, October 30-31, 2000|
Workshop on Formal Specification and Verification
Methods for Shared Memory Systems|
October 31, 2000
Warren A Hunt, Jr.
Steven D. Johnson
|Advance program flyer|
|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|