Ask HN: What are some programming 'summer schools' that teach advanced topics?

I know of the SAT/SMT solver one and learned about DARPA PPAML today. Are there others?

I have training budget at work, and while there are many security related trainings available (advanced binary exploitation, web exploitation, reversing, etc.) I don't know of many for computer science / programming topics.

http://satsmt2014.forsyte.at/ (Couldn't find 2015)

http://ppaml.galois.com/wiki/wiki/SummerSchools