[Prev][Next][Index][Thread]

CADE-14 Program Chair


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
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