CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

Woody Bledsoe and CologNET Student 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. It is funded by CADE Inc. and intended to enable selected students to attend the International Conference on Automated Deduction (CADE) by covering some of their expenses.

The CoLogNET Student Travel Award is funded by the European Union Network of Excellence in Computational Logic, and is intended to enable selected students from Europe to attend CADE-19.

CADE-19 will take place from July 28 to August 2, 2003 in Miami, Florida, USA (for further information see The winners will be reimbursed (to a maximum of Euro 500 for the CoLogNET awards and $500 for the Woody Bledsoe awards) for their conference registration, transportation, and accomodation expenses. Preference will be given to students who will play an active role in the conference, including the attached workshops and who do not have alternative funding covering all their expenses. Students who have just begun their research in automated deduction or are considering the field, are also encouraged to apply.

A nomination consists of a recommendation letter of up to 300 words from the student's supervisor. Nominations for CADE-19 should be sent by e-mail to the CADE-19 PC Chair ( The award committee consists of

Nominations must arrive no later than May 13, 2003, and the winners will be notified by May 20, 2003 (the CADE-19 early registration deadline is May 23, 2003).