Skip to content

Instantly share code, notes, and snippets.

@biboudis

biboudis/schools.md

Last active October 20, 2024 08:11
Show Gist options
  • Save biboudis/377b4a4de4d1718df2d0 to your computer and use it in GitHub Desktop.
Save biboudis/377b4a4de4d1718df2d0 to your computer and use it in GitHub Desktop.
Download ZIP
PL Summer Schools forall in 2016!
Raw
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
@steshaw
Copy link

steshaw commented Jun 23, 2015

This is great, thanks! I linked to your PL Summer Schools forall from https://github.com/steshaw/plt#other-collections

@biboudis
Copy link
Author

Sure! Thx! I keep the list updated. It will be useful to keep track of summer schools for future years as well.

@steshaw
Copy link

steshaw commented Jun 30, 2015

@biboudis, great! I'm glad you'll keep it up-to-date. If you decide to move it, please let me know.

@lemastero
Copy link

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment