[C3] ================================================ AMAST Links 03 01

  Formal Methods in Computer-Aided Design FMCAD'96 - Call for Papers

   The full version of this announcement is available at the URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301C3.txt

  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_ at URL: http://www.csl.sri.com/FMCAD96
  *Important Dates:*
   Submission deadline (firm):			April 15, 1996
   Notification of acceptance:			June 17, 1996
   Proceedings version of accepted papers due:  July 15, 1996