Date: | Tue, 15 Oct 2019 10:30:05 -0500 |
---|---|
From: | "Loris D'Antoni" <loris@xxxxxxxxxxx> |
Subject: | Re: [pl-seminar] Rong Pan's OOPSLA practice talk 10/18 at 12.30 in CS3310 |
Friendly reminder that Rong is giving a practice talk this friday at 12.30. Also, I see that no-one has signed up to meet him yet. I think he's doing some interesting work on verifying smart contracts with Isil Dillig and some folks at MSR so I think some of you might be interested in chatting with him. Cheers, -Loris On Fri, Oct 11, 2019 at 10:25 AM Loris D'Antoni <lorisdanto@xxxxxxxxx> wrote:
|
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | [pl-seminar] Impromptu Practice Talk for UIST Conference, DAVID PORFIRIO |
---|---|
Next by Date: | Re: [pl-seminar] Rong Pan's OOPSLA practice talk 10/18 at 12.30 in CS3310, Loris D'Antoni |
Previous by Thread: | Re: [pl-seminar] PL students regular group lunch, Samuel Drews |
Next by Thread: | Re: [pl-seminar] Rong Pan's OOPSLA practice talk 10/18 at 12.30 in CS3310, Loris D'Antoni |
Indexes: | [Date] [Thread] |