F* Summer Schools 2019

Here are a few summer schools that will have F* courses and that are coming up soon:

• The Oregon Programming Languages Summer School, Eugene, OR, USA (School: June 17-29, materials)
• Summer School on Verification Technology, Systems, and Applications, Luxembourg (School: 1-5 July, materials)
• Escuela de Ciencias Informáticas, Buenos Aires, Argentina (School: 22-26 July)
• Second International Summer School on Metaprogramming, Schloss Dagstuhl, Germany (30 June, School: 11-16 August)

The last two ones include a part about meta-programming in F* (tactics etc).