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).