Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.indiana.edu/~sjohnson/FMCAD/
Deadline for abstracts: April 24, 2000
Description:
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 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:
Verification tools and techniques based on model checking, theorem proving, and related or hybrid technologies. Implementation methods, tools, and techniques based on formal synthesis, design derivation, transformation, and correct-by-construction approaches. Specification methods and analysis tools based on formal design representations. Environments for heterogeneous reasoning in design; that is, the integrated use of reasoning tools and formalisms. Case studies and applications of formal methods in industry. Algorithms and data structures for automated design analysis.
Date received: February 28, 2000
© 2008 Atlas Conferences Inc.