[Steve Johnson <sjohnson@cs.indiana.edu>] (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
From: Steve Johnson <sjohnson@cs.indiana.edu>
Message-Id: <200002101833.NAA27979@bulldog.cs.indiana.edu>
Subject: cfp: FMCAD 2000 (Formal Methods in Computer Aided Design)
To: lego-club@dcs.ed.ac.uk, lics@research.bell-labs.com,
        logic@theory.lcs.mit.edu, lotos-na@site.uottawa.ca,
        lprolog-list@cis.upenn.edu, lprolog@cis.upenn.edu,
        mizar-forum@mizar.uwb.edu.pl, nuprlnotes@cs.cornell.edu,
        papm@dcs.ed.ac.uk, qed@mcs.anl.gov, rewriting@ens-lyon.fr,
        softverf@nist.gov, tfm-list@doc.ic.ac.uk, theorem-provers@ai.mit.edu
Date: Thu, 10 Feb 2000 13:33:24 -0500 (EST)
X-Mailer: ELM [version 2.5 PL1]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

We apologize for multiple copies of this message.

1st Call for Papers:
~~~~~~~~~~~~~~~~~~~~
  FMCAD'00
  Third International Conference on FORMAL METHODS IN COMPUTER-AIDED DESIGN
  November 1-3; Austin, Texas

  URL: http://www.cs.indiana.edu/~sjohnson/FMCAD/cfp.html

Important Dates:
~~~~~~~~~~~~~~~~
  submission: April, 24
  notification: June, 15
  final manuscript: August 1

FMCAD 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.

For more details link to the URL given above or contact conference cochairs:

  Warren A. Hunt, Jr. (WHunt@Austin.IBM.COM)
  Steven D. Johnson   (sjohnson@cs.indiana.edu)