[TYPES/announce] Heidelberg Forum

Vladimir Voevodsky vladimir at ias.edu
Thu Feb 13 11:07:34 EST 2014


Hello,

have a look at this please:

http://www.heidelberg-laureate-forum.org/call-for-application/

Last year it was interesting since it brought together mathematicians and computer scientists which does not happen often. 

Vladimir.




More information about the Types-announce mailing list