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 (Application Deadline: 30 April, School: June 17-29)
- Summer School on Verification Technology, Systems, and Applications, Luxembourg (Application deadline: 10 May, School: 1-5 July)
- Escuela de Ciencias Informáticas, Buenos Aires, Argentina (School: 22-26 July)
- Second International Summer School on Metaprogramming, Schloss Dagstuhl, Germany (Application deadline: 30 June, School: 11-16 August)
The last two are specifically about meta-programming in F* (tactics etc).