CADE-17
Woody Bledsoe 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.
The award is intended to enable selected students to attend the
International Conference on Automated Deduction (CADE) by covering
much of their expenses. CADE-17 will take place from June 17 to 20,
2000 in Pittsburgh, Pennsylvania, USA (for further information
see http://www.research.att.com/conf/cade/). The winners will
be reimbursed (to a maximum of USD 600) for their conference
registration, transportation, and accomodation expenses. Preference
will be given to students who do not have alternative funding.
While preference will be given to students who will play an active
role in the conference, including the attached workshops, also
students who do not expect to give presentations, including students
who have just begun their research in automated deduction or are
considering the field, are encouraged to apply.
A nomination consists of a recommendation letter of up to 300 words from
the student's supervisor. Nominations for CADE-17 should be sent by e-mail to
the
awards
committee
consisting of
- Frank Pfenning, CADE-17 Conference Chair (fp@cs.cmu.edu),
- David McAllester, CADE-17 Program Chair (dmac@research.att.com),
- Ulrich Furbach, CADE President (uli@informatik.uni-koblenz.de), and
- Neil V. Murray, CADE Treasurer (nvm@cs.albany.edu).
Nominations must arrive no later than April 30, 2000, and
the winners will be notified by May 1, 2000. The awards will
be presented at CADE-17; in case a winner does not attend, the trustees may
transfer the award to another nominee or give no award.
[ Home
| Program
| Workshops
| Tutorials
| System Competition
]
[ Accommodations
| Excursions
| Computing Facilities
| Athletic Facilities
| Restaurants
| Travel
]
[ On-Line Registration ]
[ UNIF 2000 ]
cade-17@cs.cmu.edu
www.cs.cmu.edu/~cade
Contact Us
|