McGill Campus


22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2 - 7, 2009

Call for Nominations for Student Awards: Woody Bledsoe Travel Awards

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. The winners of the travel award will be (partially) reimbursed for their conference registration, transportation, and accommodation expenses (past awards have varied, but have typically been CA$250 to CA$1000). 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 should be sent by e-mail to and Nominations for 2009 must arrive no later than 16 June 2009 and the winners will be notified by 23 June 2009. The awards will be presented at the conference. In case a winner does not attend, the chairs and trustees may transfer the award to another nominee or give no award.