[TYPES/announce] Gödel Prize - call for nominations

[Anuj Dawar]

The Gödel Prize 2020 - Call for Nominations
Deadline: February 15, 2020

The Gödel Prize for outstanding papers in the area of theoretical
computer science is sponsored jointly by the European Association for
Theoretical Computer Science (EATCS) and the Association for Computing
Machinery, Special Interest Group on Algorithms and Computation Theory
(ACM SIGACT). The award is presented annually, with the presentation
taking place alternately at the International Colloquium on Automata,
Languages, and Programming (ICALP) and the ACM Symposium on Theory of
Computing (STOC). The 28th Gödel Prize will be awarded at the 47th
International Colloquium on Automata, Languages, and Programming to be
held during 8-12 July, 2020 in Beijing. The Prize is named in honour
of Kurt Gödel in recognition of his major contributions to
mathematical logic and of his interest, discovered in a letter he
wrote to John von Neumann shortly before von Neumann’s death, in what
has become the famous “P versus NP” question. The Prize includes an
award of USD 5,000.

Award Committee: The 2020 Award Committee consists of Samson Abramsky
(University of Oxford), Anuj Dawar (Chair, University of Cambridge),
Joan Feigenbaum (Yale University), Robert Krauthgamer (Weizmann
Institute), Daniel Spielman (Yale University) and David Zuckerman
(University of Texas, Austin).

Nominations: Nominations for the award should be submitted by email to
the Award Committee Chair: anuj.dawar at cl.cam.ac.uk. Please make sure
that the Subject line of all nominations and related messages begin
with “Goedel Prize 2020.” To be considered, nominations for the 2020
Prize must be received by February 15, 2020.

Those intending to submit a nomination should contact the Award
Committee chair by email well in advance to discuss it.

For full details on eligibility and requirements, please see
http://eatcs.org/index.php/goedel-prize
http://www.sigact.org/prizes/gödel.html
or contact the Award Committee chair, Anuj Dawar <anuj.dawar at cl.cam.ac.uk>

-- 

Anuj.Dawar at cl.cam.ac.uk

Professor of Logic and Algorithms
Department of Computer Science and Technology
University of Cambridge                       Phone: +44 1223 334408
15 J.J. Thomson Avenue                        Fax:   +44 1223 334678
Cambridge CB3 0FD, UK.           http://www.cl.cam.ac.uk/users/ad260


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191122/244b1018/attachment.asc>