FMCAD 2002 Home


The proceedings are available from Springer in both electronic and paper form at:

Registration Information

Regular Student
Early (On or before Oct 11) US$375 US$275
Late (After Oct 11) US$450 US$350

Conference registration fee includes: Tuesday evening reception, lunch and coffee breaks Wednesday through Friday, the Thursday night banquet, and a copy of the conference proceedings, published in the Springer LNCS series. FMCAD 2002 will be held at the Benson Hotel, Portland, OR. We have obtained a special room rate of $109 per night, including a complimentary breakfast. Please make reservations by October 11 to guarantee the availability of rooms at the conference rate.

Online registration for the conference and the hotel is available at

The registration site has been tested with Internet Explorer 5+ (Win2K, XP), Netscape 4.78 and Mozilla (Linux). Cookies and Java need to be enabled.


FMCAD 2002 is the fourth in a series of symposia on formal methods in computer-aided design. It is the biennial counterpart of CHARME, which takes place every odd year in Europe. The conference provides a 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 Portland, Oregon, USA, November 6-8, 2002.

The conference covers formal aspects of computer-aided system design, including specification, verification, and synthesis. 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 the semiconductor and CAD industries. The conference proceedings will be published in the Springer Lecture Notes in Computer Science series, which provides both printed and electronic dissemination.


As a leading forum for advancing formal methods in system design practice, FMCAD seeks groundbreaking results involving new technologies or application domains. In addition to advances along established lines, FMCAD promotes work that broadens the effective use of rigorous reasoning to attain high levels of design integrity.

Invited Speakers

Randal E. Bryant, Carnegie Mellon University.
Edward A. Lee, University of California at Berkeley

Important dates

Paper submissions 12 April, 2002 (Extended!)
Notification of acceptance 1 June, 2002
Camera ready copy due 1 August, 2002
Early registration deadline
Registration deadline
Hotel registration deadline
Payments due
Conference: 6-8 Nov 2002


The conference will be held at the Benson Hotel, a Portland landmark listed on the National Register of Historic Places. Carefully nurtured for eight decades, the stately hotel retains the opulence for which it is world-famous. The Benson's downtown location is convenient for sightseeing, shopping, galleries, performing arts theatres and museums, and Portland's light rail system, MAX. A reduced room rate has been negotiated for conference attendees.

Related Events


General Chair John O'Leary
Strategic CAD Labs, Intel
Program Chair Mark Aagaard
E&CE, U of Waterloo

Program Committee

Mark Aagaard (University of Waterloo, CANADA)
Dominique Borrione (University of Grenoble, FRANCE)
Randal E. Bryant (Carnegie-Mellon University, USA)
Jerry Burch (Cadence, USA)
Eduard Cerny (Synopys, USA)
Shiu-Kai Chin (Syracuse University, USA)
Ed Clarke (Carnegie-Mellon University, USA)
David Dill (Stanford University, USA)
Hans Eveking (Darmstadt University, GERMANY)
Masahiro Fujita (University of Tokyo, JAPAN)
Steven German (IBM, USA)
Ganesh Gopalakrishnan (University of Utah, USA)
Mike Gordon (Cambridge University, UK)
Susanne Graf (University of Grenoble, FRANCE)
Kiyoharu Hamaguchi (University of Osaka, JAPAN)
Ravi Hosabettu (Sun Microsystems, USA)
Alan Hu (University of British Columbia, CANADA)
Warren Hunt (UT Austin, USA)
Steve Johnson (Indiana University, USA)
Robert Jones (Intel, USA)
Thomas Kropf (Bosch, GERMANY)
Andreas Kuehlmann (Cadence, USA)
John Launchbury (Oregon Graduate Institute, USA)
Tim Leonard (Intel, USA)
Andy Martin (Motorola, USA)
Ken McMillan (Cadence, USA)
Tom Melham (University of Glasgow, UK)
Paul Miner (NASA, USA)
John O'Leary (Intel, USA)
Laurence Pierre (University of Provence, FRANCE)
Carl Pixley (Synopsys, USA)
David Russinoff (AMD, USA)
Mary Sheeran (Chalmers University & Prover Technology, SWEDEN)
Eli Singerman (Intel, ISRAEL)
Anna Slobodova (Intel, USA)
Ranga Vemuri (University of Cincinnati, USA)
Matthew Wilding (Rockwell Collins, USA)
Jin Yang (Intel, USA)


FMCAD 2002 is sponsored by: Intel, Motorola, Synopsys, and Xilinx.

Contact Information

If you have questions regarding FMCAD, please send email to

Web support and program-committee software by Vlad Ciubotariu.