Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

Re: [madPL] Invited talks in my CS703 class

Date: Mon, 12 Oct 2020 13:16:04 -0500
From: "Loris D'Antoni" <loris@xxxxxxxxxxx>
Subject: Re: [madPL] Invited talks in my CS703 class
Hi everyone,

We have our first invited lecture on Monday!Â

You are all welcome to join using the following link (please do not spread the link too publicly, we have some limits on numbers of participants)

Cheers,
-Loris

On Fri, Oct 2, 2020 at 1:20 PM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:
CS703 will have 3 invited lectures this year!Â
You are all welcome to join!

All lectures will be at 11 am and I will provide info closer toÂthe time on how to join.

Oct 19 Type-directed synthesis (part 1) --- guest lecturer Nadia Polikarpova)
Oct 21 Type-directed synthesis (part 2) --- guest lecturer Nadia Polikarpova
Nov 2 Neurosymbolic synthesis (guest lecturer Rishabh Singh)

Best,
-Loris


--
-Loris
[← Prev in Thread] Current Thread [Next in Thread→]
Previous by Date:  Re: [madPL] Call for applications: PLMW@POPL 2021, Justin Hsu
Next by Date:  [madPL] PL Seminar Tomorrow, JOHN CYPHERT
Previous by Thread:  [madPL] Invited talks in my CS703 class, Loris D'Antoni
Next by Thread:  Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni
Indexes:  [Date] [Thread]