2nd cfp: FMCAD 2000 (forrmal methods in computer science aided design)

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

---------- Forwarded message ----------
Date: Thu, 2 Mar 2000 21:54:41 +0100 (MET)
From: Steve Johnson <sjohnson@cs.indiana.edu>
Message-Id: <200003022100.QAA26050@bulldog.cs.indiana.edu>
Subject: 2nd cfp: FMCAD 2000 (formal methods in computer aided design)
To: lics@research.bell-labs.com, lotos-na@site.uottawa.ca,
        lprolog-list@cis.upenn.edu, mizar-forum@mizar.uwb.edu.pl,
        nuprlnotes@cs.cornell.edu, papm@dcs.ed.ac.uk, rewriting@ens-lyon.fr,
        softverf@nist.gov, tfm-list@doc.ic.ac.uk, zforum@prg.ox.ac.uk
Date: Thu, 2 Mar 2000 16:00:50 -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.

2nd 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)