PL Summer Schools forall in 2016!

schools.md

2016

1. Sixth Summer School on Formal Techniques / 22-27 May
2. Twelfth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems / 10-16 July 2016
3. Oregon Programming Languages Summer School / 20 June-2 July 2016
4. The 6th Halmstad Summer School on Testing / 13-16 June, 2016
5. Second International Summer School on Behavioural Types / 27 June-1 July 2016
6. Virtual Machines Summer School 2016 / 31 May - 3 June 2016
7. ECOOP 2016 Summer School

2015

1. Fifth Summer School on Formal Techniques / 17-22 May 2015
2. Programming and Tuning Massively Parallel Systems (PUMPS) / 6-10 July 2015
3. 5th Halmstad Summer School on Testing, HSST 2015 / 8-11 June 2015
4. PLT Redex 2015 Summer School / 27-31 July 2015
5. Summer School on Software Synthesis / 23-26 June 2015
6. Types, Logic, Semantics, and Verification (OPLSS) / 15-27 June 2015
7. UPMARC Summer School on Multicore Computing / June 8-10 2015
8. Summer School on Generic and Effectful Programming / 6-10 July 2015
9. 27th European Summer School in Logic, Language and Information / 3-14 August 2015
10. Summer School on DSL Design and Implementation / 12-17 July 2015
11. SAT/SMT Summer School / 15-17 July 2015
12. Applied Functional Programming in Haskell / 6-17 July 2015
13. ECOOP 2015 Summer School / 8-10 July 2015
14. SICSA Summer School on Practical Types / 3-5 August 2015
15. Central-European Functional Programming School / 6-10 July 2015
16. Summer School on Verification Technology, Systems, and Applications / 24–28 August 2015

There is an interesting list of summer schools around PLT and software verification: http://user.it.uu.se/~bengt/Info/summer-schools.shtml by Bengt Jonsson