[DL] IJCAR 2006: Woody Bledsoe Student Travel Award: Call For Nominations

Sergey Berezin Sergey.Berezin at synopsys.com
Mon May 15 21:05:46 CEST 2006

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

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

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

More information about the dl mailing list