categories - Category Theory list
 help / color / mirror / Atom feed
* Gödel Prize - call for nominations
@ 2019-11-22 17:20 Anuj Dawar
  0 siblings, 0 replies; only message in thread
From: Anuj Dawar @ 2019-11-22 17:20 UTC (permalink / raw)



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@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@cl.cam.ac.uk>

-- 

Anuj.Dawar@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




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2019-11-22 17:20 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-22 17:20 Gödel Prize - call for nominations Anuj Dawar

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).