[DL] IJCAR: Woody Bledsoe Award: Call for Nominations

[Peter Lammich]

[[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 at 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/