[TYPES] Goedel prize 2005

Curien Pierre-Louis Pierre-Louis.Curien at pps.jussieu.fr
Tue Jan 11 18:28:35 EST 2005


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



More information about the Types-list mailing list