Re: [fstar-club] FStar school

[Nikhil Swamy via fstar-club]

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 <fstar-club-boun...@lists.gforge.inria.fr> On Behalf Of 
> Catalin
> Hritcu via fstar-club
> Sent: Tuesday, April 2, 2019 1:02 PM
> To: Marc Gourjon <marc.gourjon+fs...@tuhh.de>
> Cc: FStar Club <fstar-club@lists.gforge.inria.fr>
> 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
> - 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-
> c...@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)
> > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.t
> >
> uhh.de%2Fsva&amp;data=02%7C01%7Cnswamy%40microsoft.com%7C5d9990
> 14fa484
> >
> e038d5208d6b7a6186c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%
> 7C63689
> >
> 8321354717259&amp;sdata=AFET8V63YJRJS%2Bb%2B6P1cuqdmN5fVed7OwD
> Mqq1gRbv
> > I%3D&amp;reserved=0
> _______________________________________________
> > fstar-club mailing list
> > fstar-club@lists.gforge.inria.fr
> > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Flist
> > s.gforge.inria.fr%2Fmailman%2Flistinfo%2Ffstar-club&amp;data=02%7C01%7
> >
> Cnswamy%40microsoft.com%7C5d999014fa484e038d5208d6b7a6186c%7C72
> f988bf8
> >
> 6f141af91ab2d7cd011db47%7C1%7C1%7C636898321354717259&amp;sdata
> =ZiVq8T8
> >
> td4hr%2F0jZeSh71yY%2F6Xq%2FA%2BAjkrX%2BJsZoslg%3D&amp;reserved=0
> _______________________________________________
> fstar-club mailing list
> fstar-club@lists.gforge.inria.fr
> https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.gfo
> rge.inria.fr%2Fmailman%2Flistinfo%2Ffstar-
> club&amp;data=02%7C01%7Cnswamy%40microsoft.com%7C5d999014fa484e
> 038d5208d6b7a6186c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7
> C636898321354717259&amp;sdata=ZiVq8T8td4hr%2F0jZeSh71yY%2F6Xq%2F
> A%2BAjkrX%2BJsZoslg%3D&amp;reserved=0
_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club