The proceedings are available from Springer in both electronic and paper form at: http://link.springer.de/link/service/series/0558/tocs/t2517.htm.
| 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 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 | |
| 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.
| General Chair | John O'Leary | joleary@ichips.intel.com | Strategic CAD Labs, Intel |
|---|---|---|---|
| Program Chair | Mark Aagaard | markaa@swen.uwaterloo.ca | E&CE, U of Waterloo |
| 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.
If you have questions regarding FMCAD, please send email to fmcad@swen.uwaterloo.ca
Web support and program-committee software by Vlad Ciubotariu.