From: Geoff Sutcliffe <geoff@cs.jcu.edu.au>
Message-Id: <199511132231.IAA01553@coral.cs.jcu.edu.au>
Subject: CADE-14 Program Chair
To: aal@anu.edu.au (Australiasian Association for Logic Research),
        logic@cs.cornell.edu (Cornell Logic Group Research),
        deduktion@intellektik.informatik.th-darmstadt.de (German Deduction Group Research),
        igpl@doc.ic.ac.uk (Interest Group on Propositional and Predicate Logics Research),
        theorem-provers@ai.mit.edu (MIT AI list Research),
        qed@mcs.anl.gov (QED Research),
        rewriting@loria.fr (Rewriting Group Research),
        logic@cs.stanford.edu (Stanford Logic Research),
        srs@cisr.anu.edu.au (Symbolic Reasoning Systems Research),
        types@dcs.gla.ac.uk (Types mailing list Research)
Date: Tue, 14 Nov 1995 08:31:57 +1000 (+1000)
Cc: geoff@coral.cs.jcu.edu.au (Geoff Sutcliffe)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 805       
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

To the CADE Community:

The CADE Trustees have carefully considered a number of outstanding
scientists in the automated deduction field for the position of
CADE-14 Program Chair.  The CADE-13 Program Committee provided a
number of suggestions which were all examined and weighed.  After
considerable discussion, the post was offered to Bill McCune.  The
Trustees are delighted to report that he has accepted.

Information about CADE-14 can be found on the WWW ...
    http://www.cs.jcu.edu.au/~cade-14/

Geoff Sutcliffe
Local Arrangements Chair

Geoff Sutcliffe
Department of Computer Science    Email : geoff@cs.jcu.edu.au
James Cook University             Phone : +61 77 815085/814622
Townsville, Australia, 4811.      FAX   : +61 77 814029
http://www.cs.jcu.edu.au/ftp/users/GSutcliffe/GSutcliffe.HTML