Gödel Prize

The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel.

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 main North America conferences in theoretical computer science) or ICALP ( International Colloquium on Automata, Languages, and Programming , one of main Europe conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within the last 7 years.

= Winners =

1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, and Charles Rackoff

1994 - Johan Håstad

1995 - Neil Immerman and Róbert Szelepcsényi

1996 - Mark Jerrum and Alistair Sinclair

1997 - Joseph Halpern and Yoram Moses

1998 - Seinosuke Toda

1999 - Peter Shor

2000 - Moshe 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

2003 - Yoav Freund and Robert Schapire

2004 - Maurice Herlihy, Mike Saks, Nir Shavit and Fotios Zaharoglou

2005 - Noga Alon, Yossi Matias and Mario Szegedy

= External links =

*[http://sigact.acm.org/prizes/godel/ Prize website with list of winners]