CADE-21 Woody Bledsoe Travel Awards (Call for Nominations)

[Michael Kohlhase]

                CADE-21 Woody Bledsoe Student Travel Award:
                         Call for Nominations
               http://www.cadeconference.org/meetings/cade21/

The Woody Bledsoe Student Travel Award was created to honor 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 enable selected students to attend the
International Conference on Automated Deduction (CADE) or the
International Joint Conference on Automated Reasoning (IJCAR),
whichever is scheduled for the year, by covering much of their
expenses.

In 2007, CADE will take place July 15-20, in Bremen, Germany.  The
winners of the 2007 Travel Award will be partially reimbursed for
their conference registration, transportation, and accomodation
expenses. Past awards have varied but have typically been 150 - 600
Euro, depending on the degree of active participation and the distance
that needs to be traveled.

Preference will be given to students who will play an active role in
the conference, including satellite workshops, and do not have
alternative funding.  However, also students in other situations are
very much encouraged to apply.

A nomination consists of a recommendation letter of up to 300 words
from the student's supervisor.  Nominations for CADE-21 should be sent
by e-mail to

Michael Kohlhase, CADE-21 Conference Chair (m.kohlhase at iu-bremen.de)

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