- Sixth Summer School on Formal Techniques / 22-27 May
- Twelfth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems / 10-16 July 2016
- Oregon Programming Languages Summer School / 20 June-2 July 2016
- The 6th Halmstad Summer School on Testing / 13-16 June, 2016
- Second International Summer School on Behavioural Types / 27 June-1 July 2016
- Virtual Machines Summer School 2016 / 31 May - 3 June 2016
- ECOOP 2016 Summer School
- Fifth Summer School on Formal Techniques / 17-22 May 2015
- Programming and Tuning Massively Parallel Systems (PUMPS) / 6-10 July 2015
- 5th Halmstad Summer School on Testing, HSST 2015 / 8-11 June 2015
- PLT Redex 2015 Summer School / 27-31 July 2015
- Summer School on Software Synthesis / 23-26 June 2015
- Types, Logic, Semantics, and Verification (OPLSS) / 15-27 June 2015
- UPMARC Summer School on Multicore Computing / June 8-10 2015
- Summer School on Generic and Effectful Programming / 6-10 July 2015
- 27th European Summer School in Logic, Language and Information / 3-14 August 2015
- Summer School on DSL Design and Implementation / 12-17 July 2015
- SAT/SMT Summer School / 15-17 July 2015
- Applied Functional Programming in Haskell / 6-17 July 2015
- ECOOP 2015 Summer School / 8-10 July 2015
- SICSA Summer School on Practical Types / 3-5 August 2015
- Central-European Functional Programming School / 6-10 July 2015
- Summer School on Verification Technology, Systems, and Applications / 24–28 August 2015
This is great, thanks! I linked to your PL Summer Schools forall from https://github.com/steshaw/plt#other-collections