: Tuesday, April 2, 2019 1:28 PM
To: Catalin Hritcu; Marc Gourjon
Cc: fstar-club@lists.gforge.inria.fr
Subject: Re: [fstar-club] FStar school
And also one covering Meta-F* (tactics etc.) in Buenos Aires in July
https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Feci2019.dc.uba.ar
FStar Club
> Subject: Re: [fstar-club] FStar school
>
> 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
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