We have got interesting funding opportunities for Chinese students interested in doing a PhD in France.
A good match would be familiar with proof/type theory and functional programming.
However, we are not sure what would the best venue be to advertise this kind of opportunities.
Are there some appropiate mailing lists or forums? Are there chinese haskell/ocaml user groups?