The full version of this announcement is available.
Formal Methods in Computer-Aided Design '96 is a forum for presenting state-of-the-art tools and techniques based on formal methods for computer-aided design of hardware. The conference location provides excellent opportunities for researchers interact with engineers from Silicon Valley semiconductor and CAD companies. The goal is to cover relevant formal aspects of work in computer-aided system design including verification, synthesis and testing. A special focus of FMCAD'96 will be on the integration of complementary techniques and tools. It is intended to publish the proceedings in time for distribution at the conference in the Springer LNCS series.
Papers: 15 page, 11-point limit with abstract, containing original research in sufficient detail to assess its merits and relevance. Simultaneous submission to other conferences or journals and submission of previously published material are not allowed.
Tutorials: 4 page abstract, 15 page, 11-point for final. We encourage presentations of tools on a suitable set of completely worked out examples.
Submission: in electronically self-contained Postscript to: fmcad96@csl.sri.com. Email submission is strongly encouraged for speeding up the reviewing process. Otherwise, send 7 hard-copies to:
Papers Mandayam Srivas, Re: FMCAD'96, SRI International (EL-262),
333 Ravenswood Ave., Menlo Park, CA 94025, USA.
Email: srivas@csl.sri.com
Tutorials Albert Camilleris, RE: FMCAD'96, Hewlett-Packard Company
M/S 5596, 8000 Foothills Boulevard, Roseville CA 95747-5596, USA.
Email: ac@hprpcd.rose.hp.com
Further Information requests can be directed to vijay@lsil.com or can be found on the WWW site .
Important Dates:
Submission deadline (firm): April 15, 1996
Notification of acceptance: June 17, 1996
Proceedings version of accepted papers due: July 15, 1996