العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolGöDEL PRIZE
The 'Gödel Prize' is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded 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 Gödel Prize is awarded annually, since 1993. It includes an award of $5000. The prize is awarded either at ''STOC'' (''ACM Symposium on Theory of Computing'', one of the main North American conferences in theoretical computer science) or ''ICALP'' (''International Colloquium on Automata, Languages, and Programming'', one of the main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within the last 7 years. The rules have however now changed to include papers published within the last 14 years.
★ 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, and Charles Rackoff, for the development of interactive proof systems
★ 1994 - Johan Håstad, for an exponential lower bound on the size of constant-depth Boolean circuits for the parity function
★ 1995 - Neil Immerman and Róbert Szelepcsényi for the Immerman-Szelepcsényi theorem
★ 1996 - Mark Jerrum and Alistair Sinclair
★ 1997 - Joseph Halpern and Yoram Moses
★ 1998 - Seinosuke Toda
★ 1999 - Peter Shor, for Shor's algorithm for factoring numbers in polynomial time on a quantum computer
★ 2000 - Moshe Y. Vardi and Pierre Wolper
★ 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, and Mario Szegedy
★ 2002 - Géraud Sénizergues, for proving that equivalence of deterministic pushdown automata is decidable
★ 2003 - Yoav Freund and Robert Schapire for the AdaBoost algorithm
★ 2004 - Maurice Herlihy, Mike Saks, Nir Shavit and Fotios Zaharoglou for applications of topology to the theory of distributed computing
★ 2005 - Noga Alon, Yossi Matias and Mario Szegedy
★ 2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena for the AKS primality test
★ 2007 - Alexander Razborov, Steven Rudich for Natural Proofs
★ Prize website with list of winners
The Gödel Prize is awarded annually, since 1993. It includes an award of $5000. The prize is awarded either at ''STOC'' (''ACM Symposium on Theory of Computing'', one of the main North American conferences in theoretical computer science) or ''ICALP'' (''International Colloquium on Automata, Languages, and Programming'', one of the main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within the last 7 years. The rules have however now changed to include papers published within the last 14 years.
| Contents |
| Winners |
| External links |
Winners
★ 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, and Charles Rackoff, for the development of interactive proof systems
★ 1994 - Johan Håstad, for an exponential lower bound on the size of constant-depth Boolean circuits for the parity function
★ 1995 - Neil Immerman and Róbert Szelepcsényi for the Immerman-Szelepcsényi theorem
★ 1996 - Mark Jerrum and Alistair Sinclair
★ 1997 - Joseph Halpern and Yoram Moses
★ 1998 - Seinosuke Toda
★ 1999 - Peter Shor, for Shor's algorithm for factoring numbers in polynomial time on a quantum computer
★ 2000 - Moshe Y. Vardi and Pierre Wolper
★ 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, and Mario Szegedy
★ 2002 - Géraud Sénizergues, for proving that equivalence of deterministic pushdown automata is decidable
★ 2003 - Yoav Freund and Robert Schapire for the AdaBoost algorithm
★ 2004 - Maurice Herlihy, Mike Saks, Nir Shavit and Fotios Zaharoglou for applications of topology to the theory of distributed computing
★ 2005 - Noga Alon, Yossi Matias and Mario Szegedy
★ 2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena for the AKS primality test
★ 2007 - Alexander Razborov, Steven Rudich for Natural Proofs
External links
★ Prize website with list of winners
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
