ACL2 Workshop 2000 (Update)

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

---------- Forwarded message ----------
Date: Tue, 11 Jul 2000 21:56:10 -0500 (CDT)
Message-Id: <200007120256.VAA11140@lively.amd.com>
X-Authentication-Warning: lively.amd.com: kaufmann set sender to kaufmann@lively using -f
From: Matt Kaufmann <matt.kaufmann@amd.com>
To: acl2@lists.cc.utexas.edu, bra-types@cs.chalmers.se, categories@mta.ca,
        colt@cs.uiuc.edu, concurrency@cwi.nl, coq-club@pauillac.inria.fr,
        elf-list@cs.cmu.edu, facs@lboro.ac.uk, formal-methods@cs.uidaho.edu,
        forum@jsoftware.com, fsdm@it.uq.edu.au, IFIP-WG1_3-Members@brics.dk,
        imps@linus.mitre.org, info-hol@jaguar.cs.byu.edu,
        isabelle-users@cl.cam.ac.uk, isss-people@ics.uci.edu,
        lambda-usergroup@dcs.ed.ac.uk, lego-club@dcs.ed.ac.uk,
        lics@research.bell-labs.com, logic-list@cs.rice.edu,
        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, pvs@csl.sri.com, qed@mcs.anl.gov,
        rewriting@ens-lyon.fr, softverf@nist.gov, tfm-list@doc.ic.ac.uk,
        theorem-provers@ai.mit.edu, zforum@prg.ox.ac.uk
Subject: ACL2 Workshop 2000 (update)
CC: kaufmann@cs.utexas.edu, moore@cs.utexas.edu

REMINDER AND DEADLINE CHANGE
ACL2 Workshop 2000, October 29-31, Austin, Texas (just before FMCAD)
For further details, see the announcement:
  http://www.cs.utexas.edu/users/moore/acl2/workshop-2000/index.html

The submission deadline for ACL2 Workshop 2000 has been postponed to
September 1, 2000 from the original deadline of July 15, 2000.  We
have decided not to publish the proceedings as a book and require less
time before the meeting.  The refereed proceedings will be published
both as a University of Texas CS department technical report and on
the web.

Authors submitting papers by September 1 will be notified of
acceptance/rejection by October 1.  If you want an earlier notification,
please submit the paper earlier and we will do our best.

Matt Kaufmann and J Moore (for the Program Committee)