[DL] CADE student travel award (second call)
clynch at clarkson.edu
Mon May 12 05:45:36 CEST 2003
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 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
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).
More information about the dl