[TYPES] goedel prize 2006 (deadline for nominations Jan. 31, 2006)
Pierre-Louis Curien
curien at pps.jussieu.fr
Wed Dec 7 23:50:53 EST 2005
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)
More information about the Types-list
mailing list