CADE-14 Student Travel Award - Call for Nominations

                            CALL FOR NOMINATIONS

                 CADE-14 Woody Bledsoe Student Travel Award

The board of trustees of the Conference on Automated Deduction Inc. (CADE) have
created an award in honor of the memory of Woody Bledsoe for his  contributions
to mathematics, artificial intelligence, and automated theorem proving, and for
his dedication to students.

The award is  intended to cover much of  the expense for one student working in
the field  of automated deduction  to attend CADE-14  to be held in Townsville,
Australia,  July  13-17,  1997  (see http://www.cs.jcu.edu.au/~cade-14/).   The
winner will be reimbursed  (to a maximum of US$1,000) for his or her conference
registration, transportation, and accomodation expenses.

Preference will  be given to students who will be playing an active role in the
conference and to students who do not have alternative funding.

Nominations,  which should include a recommendation of up to 300 words from the
student's supervisor, should be sent by e-mail to

Nominations must arrive no later than May 20,  and the winner will be  notified
by June 1.  The award will be presented at CADE-14; in case the winner does not
attend, the trustees may transfer the award to another nominee or give no award.

Mark Stickel
President of Trustees
CADE, Inc.