The Coq mailing list

[geoff AT cs.miami.edu]

    Woody Bledsoe Student Travel Awards at IJCAR 2018
                Call for Applications

The Woody Bledsoe Student Travel Award was created to honour 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 
part of their expenses.

The winners of the IJCAR 2018 Woody Bledsoe Student Travel Award will be 
partially reimbursed (up to value of 900 EUR, depending on needs and 
available 
funds) for their conference registration, transportation, and accommodation 
expenses.

A nomination consists of a recommendation letter of up to 300 words from the 
student's adviser. Nominations for IJCAR 2018 should be sent by e-mail to the 
Program Committee Chairs (Didier Galmiche, Stephan Schulz and Roberto 
Sebastiani) at 
ijcar2018 AT easychair.org.
 Please include "Woody Bledsoe 2018 
Application" in your subject line.

The nomination letter should contain:

- name of the student,
- whether the student is an author of a paper accepted to IJCAR or submitted 
  to an IJCAR workshop, or contributor to a system in the CASC competition
- an explanation of the potential benefit of the IJCAR attendance to the 
  student
- a statement regarding the dependence of the student on the award for
  attendance, including any special circumstances

Nominations must arrive no later than May 18, 2018. The winners will be 
notified by June 1st, 2018. Note that FLoC/IJCAR early registration ends on 
June 6th.

The awards will be presented at IJCAR 2018; in case a winner does not attend, 
the chairs may transfer the award to another nominee or give no award.

The awards are sponsored by CADE Inc.