Call for Papers: Formal Methods in CAD
John W O'Leary
CALL FOR PAPERS
Fourth International Conference on
Formal Methods in Computer-Aided Design
November 6-8, 2002
Portland, Oregon, USA
http://www.fmcad.uwaterloo.ca/
Sponsored by Intel and Xilinx
===============================================================================
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. FMCAD 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. 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 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. Topics and areas include, but are not limited to:
o Verification tools and techniques based on model checking, theorem
proving, and related or hybrid technologies
o Implementation methods, tools, and techniques based on formal synthesis,
design derivation, transformation, and correct-by-construction approaches
o Specification methods and analysis tools based on formal representations
o Environments for heterogeneous reasoning in design; integration of
multiple reasoning tools and formalisms
o Case studies and applications of formal methods in industry
o Algorithms and data structures for formal analysis of design structure
and behavior
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, Berkeley
Organizers:
General Chair: Program Chair:
John O'Leary Mark Aagaard
Strategic CAD Labs Dept of Electrical and Computer Engineering
Intel Corporation University of Waterloo
5200 NE Elam Young Parkway Waterloo, ON N2L 3G1
Hillsboro, OR 97124 mar...@swen.uwaterloo.ca
jol...@ichips.intel.com
Submission:
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.
Important dates:
Submission: April 12, 2002
Notification of acceptance: June 7, 2002
Final manuscripts: August 1, 2002
The conference proceedings will be published in the Springer Lecture Notes
in Computer Science series, which provides both printed and electronic
dissemination. Consequently, camera-ready copies of accepted papers must
include all source files. Consult Springer's Authors Instructions for
instructions on article preparation
(http://www.springer.de/comp/lncs/authors.html).
Venue:
FMCAD 2002 will be held at the Benson Hotel in Portland, OR
(http://www.bensonhotel.com). The Benson, currently listed on the
National Register of Historic Places, is a Portland
landmark. Carefully nurtured for eight decades, the stately hotel
retains the opulence for which it is world-famous. The conference
has negotiated reduced room rates for conference attendees.
Further Information:
For more information, including a printable version of the call for
papers, please visit the FMCAD web page http://www.fmcad.uwaterloo.ca.
--
John W. O'Leary Intel Corporation jol...@ichips.intel.com