14-17 Jul 2018
Oxford, England
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@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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam