Hi Marc, Not sure about the "in depth" part, but otherwise there are 2 summer schools that will have F* courses coming up soon:
* The Oregon Programming Languages Summer School, Eugene, OR, USA - Application Deadline: April 15, School: June 17-29 * Summer School on Verification Technology, Systems, and Applications, Luxembourg - Application deadline: 10 May, School: 1-5 July Cheers, Catalin On Tue, Apr 2, 2019 at 9:46 PM Marc Gourjon via fstar-club <fstar-club@lists.gforge.inria.fr> wrote: > > Dear FStar-experts, > will there be another occasion to learn Fstar interactively with you? > Something like the EUTypes meeting in Aarhus last year. > > An in-depth session would be really beneficial (at least to me), despite > the good amount of papers, tutorials, wiki and zulip assistance! > Maybe Tactics benefit from some special treatment as well ;) > > KR > Marc > > -- > Marc Gourjon > Security in Distributed Applications > Hamburg University of Technology (TUHH) > http://www.tuhh.de/sva > _______________________________________________ > fstar-club mailing list > fstar-club@lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/fstar-club _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club