Another one is coming up at Daghstul in August, specifically about meta-programming in F*: https://www.cl.cam.ac.uk/events/metaprog/2019/
Hoping to see you at one of those events, ~ jonathan ________________________________ From: fstar-club <fstar-club-boun...@lists.gforge.inria.fr> on behalf of Nikhil Swamy via fstar-club <fstar-club@lists.gforge.inria.fr> Sent: 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%2Fcursos.html&data=02%7C01%7Cprotz%40microsoft.com%7C6db92edd54344bce172708d6b7a9d157%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636898337357972383&sdata=r0sfdKLWSD9luAgZbs2oZefUgTUXpQ6bXFH5CJTSwXw%3D&reserved=0 -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&data=02%7C01%7Cnswamy%40microsoft.com%7C5d9990 > 14fa484 > > > e038d5208d6b7a6186c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1% > 7C63689 > > > 8321354717259&sdata=AFET8V63YJRJS%2Bb%2B6P1cuqdmN5fVed7OwD > Mqq1gRbv > > I%3D&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&data=02%7C01%7 > > > Cnswamy%40microsoft.com%7C5d999014fa484e038d5208d6b7a6186c%7C72 > f988bf8 > > > 6f141af91ab2d7cd011db47%7C1%7C1%7C636898321354717259&sdata > =ZiVq8T8 > > > td4hr%2F0jZeSh71yY%2F6Xq%2FA%2BAjkrX%2BJsZoslg%3D&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&data=02%7C01%7Cnswamy%40microsoft.com%7C5d999014fa484e > 038d5208d6b7a6186c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7 > C636898321354717259&sdata=ZiVq8T8td4hr%2F0jZeSh71yY%2F6Xq%2F > A%2BAjkrX%2BJsZoslg%3D&reserved=0 _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.gforge.inria.fr%2Fmailman%2Flistinfo%2Ffstar-club&data=02%7C01%7Cprotz%40microsoft.com%7C6db92edd54344bce172708d6b7a9d157%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636898337357982382&sdata=XnnGGX3jpvOU9Uz2MsKang978vvd9210BRkuCIt39dQ%3D&reserved=0
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club