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,
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
And also one covering Meta-F* (tactics etc.) in Buenos Aires in July
https://eci2019.dc.uba.ar/cursos.html
-Nik
> -Original Message-
> From: fstar-club On Behalf Of
> Catalin
> Hritcu via fstar-club
> Sent: Tuesday, April 2, 2019 1:02 PM
> To: Marc Gourjon
> Cc: FStar Club
> Subject: