From: geoff@cs.miami.edu (Geoff Sutcliffe)
To: caml-list@inria.fr
Subject: [Caml-list] Herbrand Award Nominations, 2014
Date: Tue, 21 Jan 2014 15:13:59 -0500 (EST) [thread overview]
Message-ID: <20140121201359.675A612149A@mcclellan.cs.miami.edu> (raw)
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
reply other threads:[~2014-01-21 20:14 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20140121201359.675A612149A@mcclellan.cs.miami.edu \
--to=geoff@cs.miami.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).