The proceedings are available from Springer in both electronic and paper form at: http://link.springer.de/link/service/series/0558/tocs/t2517.htm.
|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 https://www.b-there.com/breg/20272.
The registration site has been tested with Internet Explorer 5+ (Win2K, XP), Netscape 4.78 and Mozilla 0.9.2.1 (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.
|Paper submissions||12 April, 2002 (Extended!)|
|Notification of acceptance||1 June, 2002|
|Camera ready copy due||1 August, 2002|
|Early registration deadline|
|Hotel registration deadline|
|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.
|General Chair||John O'Learyemail@example.com A>||Strategic CAD Labs, Intel|
|Program Chair||Mark Aagaardfirstname.lastname@example.org||E&CE, U of Waterloo|
|Mark Aagaard||(University of Waterloo,||CANADA)|
|Dominique Borrione||(University of Grenoble,||FRANCE)|
|Randal E. Bryant||(Carnegie-Mellon University,||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)|
|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)|
|John Launchbury||(Oregon Graduate Institute,||USA)|
|Tom Melham||(University of Glasgow,||UK)|
|Laurence Pierre||(University of Provence,||FRANCE)|
|Mary Sheeran||(Chalmers University & Prover Technology,||SWEDEN)|
|Ranga Vemuri||(University of Cincinnati,||USA)|
|Matthew Wilding||(Rockwell Collins,||USA)|
FMCAD 2002 is sponsored by: Intel, Motorola, Synopsys, and Xilinx.
If you have questions regarding FMCAD, please send email to email@example.com
Web support and program-committee software by Vlad Ciubotariu.