Nominations for the Gödel prize

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the ACM SIGACT. This award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and ACM Symposium on the Theory of Computing (STOC). The Prize is named in honor 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 Neumann's death, in what has become the famous "P versus NP" question. The Prize includes an award of $5000 (US).

Deadline: 10 december 2010. For more information, see http://www.eatcs.org/index.php/goedel-prize