Yes, there seem to be a number of summer schools every year on a variety of topics, although the ones I'm familiar with are based more in academia than in indus

Yes, there seem to be a number of summer schools every year on a variety of topics, although the ones I'm familiar with are based more in academia than in industry. I think they tend to get announced on the Types mailing list (https://lists.seas.upenn.edu/mailman/listinfo/types-announce https://lists.seas.upenn.edu/mailman/listinfo/types-announce). Here are a few that I'm aware of: * Racket summer school: https://summer-school.racket-lang.org/2017/ https://summer-school.racket-lang.org/2017/ * Oregon Programming Languages Summer School: https://www.cs.uoregon.edu/research/summerschool/summer17/ https://www.cs.uoregon.edu/research/summerschool/summer17/ * DeepSpec summer school: https://deepspec.org/event/dsss17/ https://deepspec.org/event/dsss17/