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.
President of Trustees