Logic List Mailing Archive

Call for Nominations: 2009 Goedel Prize, Deadline: 31 Jan 2009

2009 GODEL Prize CALL FOR NOMINATIONS

The Gdel Prize for outstanding papers in the area of theoretical compute
r
science is sponsored jointly by the European Association for Theoretical
Computer Science (EATCS) and the Special Interest Group on Algorithms and
Computing Theory of the Association of Computing Machinery (ACM-SIGACT).
This award is presented annually, with the presentation taking place
alternately at the International Colloquium on Automata, Languages, and
Programming (ICALP) and ACM Symposium on the Theory of Computing (STOC).
The award will be given at STOC 2009 in Washington D.C.   The Prize is name
d
in honor of Kurt Gdel in recognition of his major contributions to
mathematical logic and of his recently discovered interest in what has
become the famous "P versus NP" question. The Prize includes an award of
$5000 (US).

AWARD COMMITTEE:
The winner of the Prize is selected by a committee of six members. The EATC
S
President and the SIGACT Chair each appoint three members to the committee,
to serve staggered three-year terms. The committee is chaired alternately b
y
representatives of EATCS and SIGACT with the 2009 chair being a SIGACT
representative.
The 2009 award committee consists of

Cynthia Dwork (Microsoft),
Shafi Goldwasser (Chair, MIT and Weizmann Institute),
Johan Hstad  (KTH, Stockholm),
Jean-Pierre Jouannaud (LIX, cole Polytechnique),
Mike Paterson (University of Warwick), and
Colin Stirling (University of Edinburgh).

ELIGIBILITY:  Any research paper or series of papers by a single author or
by a team of authors is deemed eligible if the paper was published in a
recognized refereed journal before nomination but the main results were not
published (in either preliminary or final form) in a journal or conference
proceedings before 1995 .This extended period is in recognition of the fact
that the value of fundamental work cannot always be immediately assessed.
The research nominated for the award should be in the area of theoretical
computer science. The term "theoretical computer science" is meant in a
broad sense, and encompasses, but is not restricted to, those areas covered
by ICALP and STOC. The Award Committee shall have the ultimate authority to
decide whether a particular paper is eligible for the Prize.
NOMINATIONS:   Nominations for the award should be submitted to the Award
Committee Chair at the following address:

Professor Shafi Goldwasser
Department of  Computer Science and Applied Mathematics
The Weizmann Institute of Science
Rehovot 76100, Israel
email: shafi@theory.csail.mit.edu
tel.: +972-8-934-2953
fax: +972-8-934-4122

To be considered, nominations for the 2009 prize must be received by Januar
y
31st, 2009. Nominations may be made by any member of the scientific
community. A nomination should contain a brief summary of the technical
content of the paper and a brief explanation of its significance. A copy of
the research paper or papers should accompany the nomination. The work may
be in any language. However, if it is not in English, a more extended
summary written in English should be enclosed. Additional recommendations i
n
favor of the nominated work may also be enclosed. To be considered for the
award, the paper or series of papers must be recommended by at least two
individuals, either in the form of two distinct nominations or one
nomination including recommendations from two different people.
It is the duty of the Award Committee to actively solicit nominations from
as broad a spectrum of the theoretical computer science community as
possible, so as to ensure that potential award-winning papers are not
overlooked. To this end, the Award Committee will accept informal proposals
of potential nominees, as well as tentative offers to prepare formal
nominations, should they be needed to fulfill the requirements that the
paper have two separate recommendations.

SELECTION PROCESS:   Although the Award Committee is encouraged to consult
with the theoretical computer science community at large, the Award
Committee is solely responsible for the selection of the winner of the
award. In the case that the Award Committee cannot agree on a recipient, th
e
prize may be shared by more than one paper or series of papers, and the
Award Committee reserves the right to declare no winner at all. All matters
relating to the selection process that are not specified here are left to
the discretion of the Award Committee.