I'd like to draw your attention on the call for nominations for GOEDEL Prize 2005 (deadline January 31) All information on the nomination process can be found on the following url: http://sigact.acm.org/prizes/godel/ Best regards, Pierre-Louis 13-Jan-2005 14:16:16 -0400,2674;000000000000-00000000