bledsoe.txt

<h1>Woody Bledsoe Student Travel Awards at CADE 2017</h1>

<p>The Woody Bledsoe Student Travel Award was created to honour 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 part of
their expenses.</p>

<p>The winners of the CADE 2017 Woody Bledsoe Student Travel Award
will be partially reimbursed (up to value 750 EUR) for their
conference registration, transportation, and accommodation
expenses.</p>

<p>A nomination consists of a recommendation letter of up to 300 words
from the student's advisor. Nominations for CADE 2017 should be sent
by e-mail to the Program Committee Chair <a
href="mailto:leonardo@microsoft.com">Leonardo de Moura</a>, and at the
same time to <a href="mailto:martingi@ifi.uio.no">Martin Giese</a>,
Secretary of CADE Inc. and AAR.</p>

<p>Nominations must arrive no later than May 12, 2017. The winners
will be notified by May 26, 2017.</p>

<p>The awards will be presented at CADE 2017; in case a winner does
not attend, the chairs may transfer the award to another nominee or
give no award.</p>

<p>The awards are sponsored by CADE Inc.</p>