[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