----------------------------------------------------------
The 2007 Goedel Prize for outstanding journal articles in theoretical computer science is awarded to:

Alexander A. Razborov and Steven Rudich

for their paper
"Natural Proofs", Journal of Computer and System Sciences, Vol. 55, No. 1, 1997, pp. 24-35.

It was first presented at the Twenty-sixth Annual ACM Symposium on Theory of computing, Montreal, Quebec, Canada. 1994, pp. 204 - 213.

http://www.eatcs.org/activities/awards/goedel2007.html
-----------------------------------------------------------------------
Any comments?