[[Apologies if you receive this email multiple times]]
The Woody Bledsoe Award honors the memory of Woody Bledsoe [1], 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 12th International Joint Conference on Automated Reasoning (IJCAR 2024), by covering part of their expenses.
Applications are solicited for the Woody Bledsoe Award 2024. Preference will be given to students who play an active role in the conference (including satellite workshops and competitions) and the SAT/SMT/AR Summer School [2] and who do not have alternative funding.
A nomination consists of a recommendation letter of up to 300 words from the student’s advisor. It should be received by email at the addressijcar2024@inria.fr by April 28, 2024.
Winners of the award are chosen by a committee consisting of the PC chairs of IJCAR 2024 and the local organizers. The awards will be presented at the conference.
[1] https://en.wikipedia.org/wiki/Woody_Bledsoe [2] https://sat-smt-ar-school.gitlab.io/www/2024/