From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <geoff@cs.miami.edu>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B2AF07F6C4
	for <caml-list@sympa.inria.fr>; Tue, 21 Jan 2014 21:14:00 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  geoff@cs.miami.edu designates 192.31.89.6 as permitted
  sender) identity=mailfrom; client-ip=192.31.89.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mcclellan.cs.miami.edu) identity=helo;
  client-ip=192.31.89.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="postmaster@mcclellan.cs.miami.edu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvUAAJDU3lLAH1kGl2dsb2JhbABZg0ODAaZ3AZN7DgEBAQEBCBYHPIJJIXcwBB2ISZdtpjWEfxeOEgsRAW2DDoEUBIlHinWDZYEziRgNiwwegTU
X-IPAS-Result: AvUAAJDU3lLAH1kGl2dsb2JhbABZg0ODAaZ3AZN7DgEBAQEBCBYHPIJJIXcwBB2ISZdtpjWEfxeOEgsRAW2DDoEUBIlHinWDZYEziRgNiwwegTU
X-IronPort-AV: E=Sophos;i="4.95,697,1384297200"; 
   d="scan'208";a="54257667"
Received: from mcclellan.cs.miami.edu ([192.31.89.6])
  by mail2-smtp-roc.national.inria.fr with SMTP; 21 Jan 2014 21:14:00 +0100
Received: by mcclellan.cs.miami.edu (Postfix, from userid 501)
	id 675A612149A; Tue, 21 Jan 2014 15:13:59 -0500 (EST)
To: caml-list@inria.fr
Message-Id: <20140121201359.675A612149A@mcclellan.cs.miami.edu>
Date: Tue, 21 Jan 2014 15:13:59 -0500 (EST)
From: geoff@cs.miami.edu (Geoff Sutcliffe)
X-Validation-by: geoff@cs.miami.edu
Subject: [Caml-list] Herbrand Award Nominations, 2014

Herbrand Award: Call for Nominations

Martin Giese
Secretary of AAR and CADE
On behalf of the CADE Inc. Board of Trustees

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. The Herbrand 
Award has been given in the past to

Larry Wos (1992)
Woody Bledsoe (1994)
Alan Robinson (1996)
Wu Wen-Tsun (1997)
Gerard Huet (1998)
Robert S. Boyer and J Strother Moore (1999)
William W. McCune (2000)
Donald W. Loveland (2001)
Mark E. Stickel (2002)
Peter B. Andrews (2003)
Harald Ganzinger (2004)
Martin Davis (2005)
Wolfgang Bibel (2006)
Alan Bundy (2007)
Edmund Clarke (2008)
Deepak Kapur (2009)
David Plaisted (2010)
Nachum Dershowitz (2011)
Melvin Fitting (2012)
Greg Nelson (2013)

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 (at) ifi.uio.no