IJCAR 2024: Woody Bledsoe Awards

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 address [email protected] 
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/