archives

Do you know of any good summer schools on types/programming languages for 2010?

Hello all,

I am currently looking for good international summer schools with a focus on programming language theory and design. I'm a new PhD student, so I don't really know where to start looking other than a few recommendations from my supervisor. The best we have found so far seems to be the Oregon Programming Languages Summer School:

http://www.cs.uoregon.edu/research/summerschool/summer10/

This may be the wrong place to ask, but given the diversity of the community here I thought there may be a few academics or other PhD students who may be able to give me some pointers, at least to places where I can start looking. Is there any such thing as a directory of summer schools that anyone knows of?