final manuscript: August 1
Topics and areas|
FMCAD submissions are now closed.
In response to many requests, the submission deadline for FMCAD'00 was pushed back to April 30. As a consequence, the reviewing process has been likewise delayed. Notifications will be sent on June 26. The due date for final manuscripts is firm.
Focus and objectives. The International Conference on Formal Methods in Computer-Aided Design 2000 (FMCAD'00) is a biennial 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 Austin, Texas, November 1-3, 2000.
The conference covers all relevant formal aspects of work in computer-aided system design including specification, verification, synthesis and testing. 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 regional semiconductor and CAD industries.
Topics and areas include, but are not limited to:
The conference proceedings will be published in Springer's Lecture Notes in Computer Science series, which includes both printed and electronic dissemination. Consequently, for accepted papers final versions include all source files. Consult Springer's Authors Instructions for instructions on article preparation.
Important Dates: submission deadline: April 24, 2000 Submissions are now closed notification: June 15, 2000 final manuscript (electronic): August 1, 2000
Papers: 18-page limit, with abstract. Simultaneous submission to other conferences or journals and submission of previously published material are not allowed.
Tutorials and Tool Demos: 7-page, 12-point font abstract for evaluation. We encourage presentations of tools on a suitable set of completely worked out examples.
Venue: FMCAD 2000 will be held at Austin's Mariott at the Capitol. A conference rate has been secured for a limited number of rooms. To get this rate, you must make your reservation directly with the hotel and mention the conference name.
Registration: cost and procedure not yet determined.
Mark Aagaard, Intel Corp. Dominique Borrione, TIMA, Univ. Joseph Fourier Randy Bryant, Carnegie Mellon Univ. Albert Camilleri, Hewlett-Packard Co. Eduard Cerny, Univ. Montréal Shiu-kai Chin, Syracuse Univ. Ed Clarke, Carnegie Mellon Univ. Dave Dill, Stanford Univ. Hans Eveking, Darmstadt Univ. of Technology Limor Fix, Intel Corp. Masahiro Fujita, Fujitsu Laboratories Steven German, IBM T.J. Watson Research Center Ganesh Gopalakrishnan, Univ. Utah Michael J. C. Gordon, Cambridge Univ. Yuri Gurevich, Microsoft Keith Hanna, Univ. Kent Alan Hu, Univ. British Columbia Warren A. Hunt, Jr. (WHunt@Austin.IBM.COM), IBM Research Lab/Austin Damir Jamsek IBM Research Lab/Austin Steven D. Johnson (firstname.lastname@example.org), Indiana Univ. Matt Kaufmann, AMD Corp. Thomas Kropf, Univ. Tübingen Andreas Kuehlmann, IBM T.J. Watson Research Center John Launchbury, Oregan Graduate Institite Tim Leonard, Compaq Computer Corp. Ken McMillan, Cadence Corp. Tom Melham, Univ. Glasgow Paul Miner, NASA Langley Research Center John O'Leary, Intel Corp. Laurence Pierre, Univ. de Provence Carl Pixley, Motorola Corp. Amir Pnueli, Weizmann Inst. Rajeev K. Ranjan, Real Intent David Russinoff, AMD Corp. Mary Sheeran, Chalmers Tekniska Univ. Anna Slobodova, Compaq Computer Corp. Mandayam Srivas, SRI Victoria Stavridou, SRI International Ranga Vemuri, Univ. Cincinnati Matt Wilding, Rockwell Collins, Inc. Phil Windley, Brigham Young Univ.