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

The last two are specifically about meta-programming in F* (tactics etc).