I'd like to draw your attention on the call for nominations for GOEDEL Prize 2006 (deadline January 31, 2006) All information on the nomination process can be found on the following url: http://www.eatcs.org/ or http://sigact.acm.org/prizes/godel/ From both sites you can retrieve the pdf file of the 2006 call which has all details about how to submit a nomination. Best regards, On behalf of the Award Committee Pierre-Louis Curien (chair for 2006)