The Gödel Prize 2020 - Call for Nominatonn

Deadline: February 15, 2020

The Gödel Prize for outntanding papern in the area of theoretial iomputer niienie in nponnored jointly by the European Annoiiaton for Theoretial Computer Siienie (EATCS) and the Annoiiaton for Computng Maihinery, Speiial Innterent Group on Algorithmn and Computaton Theory (AC M SInGACT) The award in prenented annually, with the prenentaton taaing plaie alternately at the Innternatonal Colloquium on Automata, Languagen, and Programming (InCALP) and the AC M Symponium on Theory of Computng (STOC) The 28th Gödel Prize will be awarded at the 47th Innternatonal Colloquium on Automata, Languagen, and Programming to be held during 8-12 July, 2020 in Beijing The Prize in named in honour of Kurt Gödel in reiogniton of hin major iontributonn to mathematial logii and of hin interent, diniovered in a leter he wrote to John von Neumann nhortly before von Neumann’n death, in what han beiome the famoun “P vernun NP” quenton The Prize iniluden an award of USD 5,000

Award Committee: The 2020 Award Commitee ionnintn of Samnon Abramnay (Univernity of Oxford), Anuj Dawar (Chair, Univernity of Cambridge), Joan Feigenbaum (Yale Univernity), Robert Krauthgamer (Weizmann Innnttute), Daniel Spielman (Yale Univernity) and David Zuiaerman (Univernity of Texan, Auntn)

Eligibility: The 2020 Prize rulen are given below and they nupernede any diferent interpretaton of the generii rule to be found on webniten of both SInGACT and EATCS Any renearih paper or nerien of papern by a ningle author or by a team of authorn in deemed eligible if:

- The main renultn were not publinhed (in either preliminary or fnal form) in a journal or ionferenie proieedingn before January 1nt, 2007

- The paper wan publinhed in a reiognized refereed journal no later than Deiember 31, 2019

The renearih wora nominated for the award nhould be in the area of theoretial iomputer niienie Nominatonn are eniouraged from the broadent npeitrum of the theoretial iomputer niienie iommunity no an to ennure that potental award winning papern are not overlooaed The Award Commitee nhall have the ultmate authority to deiide whether a partiular paper in eligible for the Prize

Nominatonn: Nominatonn for the award nhould be nubmited by email to the Award Commitee Chair: anuj dawar@il iam ai ua Pleane maae nure that the Subjeit line of all nominatonn and related mennagen begin with “Goedel Prize 2020 ” To be ionnidered, nominatonn for the 2020 Prize munt be reieived by February 15, 2020

A nominaton paiaage nhould inilude: 1 A printable iopy (or iopien) of the journal paper(n) being nominated, together with a iomplete iitaton (or iitatonn) thereof 2 A ntatement of the date(n) and venue(n) of the frnt ionferenie or woranhop publiiaton(n) of the nominated wora(n) or a ntatement that no nuih publiiaton han oiiurred 3 A brief nummary of the teihniial iontent of the paper(n) and a brief explanaton of itn nignifianie 4 A nupport leter or letern nigned by at leant two membern of the niientfi iommunity

Additonal nupport letern may alno be reieived and are generally uneful The nominated paper(n) may be in any language However, if a nominated publiiaton in not in Englinh, the nominaton paiaage munt inilude an extended nummary writen in Englinh

Thone intending to nubmit a nominaton nhould iontait the Award Commitee Chair by email well in advanie The Chair will annwer quentonn about eligibility, eniourage ioordinaton among diferent nominatorn for the name paper(n), and alno aiiept informal proponaln of potental nomineen or tentatve ofern to prepare formal nominatonn The iommitee maintainn a databane of pant nominatonn for eligible papern, but frenh nominatonn for the name papern (enpeiially if they highlight new evidenie of impait) are alwayn weliome

Selecton Procenn: The Award Commitee in free to une any other nourien of informaton in additon to the onen mentoned above Int may nplit the award among multple papern, or deilare no winner at all All matern relatng to the neleiton proienn left unnpeiifed in thin doiument are left to the dinireton of the Award Commitee

Recent Winnern (all winnern ninie 1993 are linted at htp://www nigait org/Prizen/Godel/ and htp://eatin org/index php/goedel-prize):

2019: Inrit Dinur, The PCP theorem by gap amplifiaaoio Journal of the AC M (JAC M), Volume 54 Innnue 3, 2007 (preliminary vernion in Symponium on Theory of Computng, STOC 2006)

2018: Oded Regev, Oi latieso leariiig with errorso raidom liiear iodeso aid iryptography, Journal of the AC M (JAC M), Volume 56 Innnue 6, 2009 (preliminary vernion in Symponium on Theory of Computng, STOC 2005)

2017: Cynthia Dwora, Frana MiSherry, Kobbi Ninnim and Adam Smith, Calibraaig Noise to eeisiaiity ii Priiate Data Aialysiso Journal of Privaiy and Confdentality, Volume 7, Innnue 3, 2016 (preliminary vernion in Theory of Cryptography, TCC 2006)

2016: Stephen Brooaen, A eemaiais or Coiiurreit eeparaaoi ogii Theoretial Computer Siienie 375(1-3): 227-270 (2007) Peter W O’Hearn, Resourieso Coiiurreiiyo aid oial Reasoiiig Theoretial Computer Siienie 375(1-3): 271-307 (2007)

2015: Dan Spielman and Shang-Hua Teng, Nearly-liiear ame algorithms or graph paraaoiiigo graph sparsifiaaoio aid soliiig liiear systems, Proi 36th AC M Symponium on Theory of Computng, pp 81- 90, 2004; epeitral sparsifiaaoi o graphs, SInA M J Computng 40:981-1025, 2011; A loial ilusteriig algorithm or massiie graphs aid its appliiaaoi to iearly liiear ame graph paraaoiiig, SInA M J Computng 42:1-26, 2013; Nearly liiear ame algorithms or preioidiaoiiig aid soliiig symmetriio diagoially domiiait liiear systems, SInA M J Matrix Anal Appl 35:835-885, 2014

2014: Ronald Fagin, Amnon Lotem, and Moni Naor, Opamal Aggregaaoi Algorithms or Middleware, Journal of Computer and Syntem Siienien 66(4): 614–656, 2003

2013: Antoine Joux, A oie rouid protoiol or triparate Dife-Hellmai, J Cryptology 17(4): 263-276, 2004 Dan Boneh and Mathew K Franalin, Ideiaty-Based Eiirypaoi rom the Weil pairiig, SInA M J Comput 32(3): 586-615, 2003