International Joint Conference on Automated Reasoning

The CADE Woody Bledsoe Travel Award

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 IJCAR 2016 Woody Bledsoe Student Travel Award will be partially reimbursed (up to 750 EUR) for their conference registration, transportation, and accommodation expenses. Preference will be given to students who will play an active role in the conference (including satellite workshops, competitions, tutorials and poster events) 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 advisor. Nominations for IJCAR 2016 should be sent by e-mail to pedro@mat.uc.pt.  Nominations must arrive no later than 13 May 2016. The winners will be notified by 20 May 2016.

The awards will be presented at IJCAR 2016; 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.

  • Apart from the Woody Bledsoe Awards, there may be additional funding available for supporting student participation at IJCAR 2016.
  • Students who fail to qualify for the Woody Bledsoe Award could potentially be supported by these additional awards. There is NO need to re-apply.
  • In the reference letter that serves as nomination for either awards, please mention if the student has a paper accepted at IJCAR or any of its affiliated workshops.