[DL] CADE student travel award (second call)

[Christopher Lynch]

CADE-19 
Woody Bledsoe and CologNET 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. 
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
http://www.CADE-19.info/). The winners will be reimbursed 
(to a maximum of Euro 500 for the CoLogNET award and $500
for Woody Bledsoe award) 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 
(baader at inf.tu-dresden.de). The award committee consists of

Franz Baader, CADE-19 Program Chair
Geoff Sutcliffe, CADE-19 Conference Chair
Ulrich Furbach, CADE President 
Neil V. Murray, CADE Treasurer 

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).