Here's a summer school that you'll enjoy if you care about programming languages. The location is in the middle of nature (and that's great). The food is quite tasty (at least by my standards). The density of smart people was overwhelmingly cool. In lectures I didn't get bored as I did in all UCD courses and I didn't fell asleep because I didn't understood one word as in most research talks. The density of information was just right: I could follow almost all that was said, but with great effort.
If you are still unconvinced, check out the list of speakers.