CADE-26

Woody Bledsoe Student Travel Awards at CADE 2017

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.

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.

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 Leonardo de Moura, and at the same time to Martin Giese, Secretary of CADE Inc. and AAR.

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

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.

The awards are sponsored by CADE Inc.