CADE-17   Carnegie Mellon University - School of Computer Science

Woody Bledsoe Student Travel Award

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) by covering much of their expenses. CADE-17 will take place from June 17 to 20, 2000 in Pittsburgh, Pennsylvania, USA (for further information see The winners will be reimbursed (to a maximum of USD 600) for their conference registration, transportation, and accomodation expenses. Preference will be given to students who do not have alternative funding. While preference will be given to students who will play an active role in the conference, including the attached workshops, also students who do not expect to give presentations, including students who have just begun their research in automated deduction or are considering the field, are encouraged to apply.

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

  • Frank Pfenning, CADE-17 Conference Chair (,
  • David McAllester, CADE-17 Program Chair (,
  • Ulrich Furbach, CADE President (, and
  • Neil V. Murray, CADE Treasurer (

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

[ Home | Program | Workshops | Tutorials | System Competition ]
[ Accommodations | Excursions | Computing Facilities | Athletic Facilities | Restaurants | Travel ]
[ On-Line Registration ]        [ UNIF 2000 ]
Contact Us