Call for Nomination for Herbrand Award 2014

The Herbrand Award is given by CADE Inc. to honour a person or group for exceptional contributions to the field of Automated Deduction. At most one Herbrand Award will be given at each CADE or IJCAR meeting.

A nomination is required for consideration for the Herbrand award. The deadline for nominations for the Herbrand Award that will be given at IJCAR 2014 is 15th April 2014. Nominations pending from previous years must be resubmitted in order to be considered.

Nominations should consist of a letter (preferably email) of up to 2000 words from the principal nominator, describing the nominee's contribution, along with letters of up to 2000 words of endorsement from two other seconders. Nominations should be sent to Maria Paola Bonacina, President of CADE Inc (mariapaola.bonacina at univr.it) with copy to Martin Giese, Secretary of CADE Inc. and AAR (martingi@ifi.uio.no).

For more information, see http://www.cadeinc.org/HerbrandAward.html