Email Gateway (Aug 17 2022 at 14:44): Email Gateway (Aug 17 2022 at 14:44):From: Sergey Berezin <Sergey.Berezin@synopsys.com>
Woody Bledsoe Student Travel Award: Call for Nominations
IJCAR'06 http://ijcar06.uni-koblenz.de/
Peter Baumgartner
(On behalf of the CADE Inc. Board of Trustees)
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.
In 2006, IJCAR will take place from August 17 through 20, in Seattle,
USA, as part of the Federated Logic Conference (FLoC).
For further information see http://ijcar06.uni-koblenz.de/ .
The winners will be reimbursed (up to some maximum amount to be
determined, usually around US$ 500 - US$ 750) for their conference
registration, transportation, and accomodation expenses. 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 for
IJCAR 2006 should be sent by e-mail to Peter Baumgartner
(Peter.Baumgartner@nicta.com.au).
Nominations must arrive no later than
June 15, 2006
and the winners will be notified by June 30 (the early registration
deadline for FLoC'06 is July 10). The awards will be presented at
IJCAR; in case a winner does not attend, the chairs and trustees may
transfer the award to another nominee or give no award.
Last updated: Nov 21 2024 at 12:39 UTC