Re: [madPL] Invited talks in my CS703 class

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Nadia's second lecture is now!

On Mon, Oct 19, 2020 at 10:43 AM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Reminder that Nadia's first lecture on type-directed synthesis is today for those who want to join!

On Mon, Oct 12, 2020 at 1:16 PM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

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)

https://us.bbcollab.com/guest/6dc1eee7ae3745b4a3090856212892de

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

--

-Loris

--

-Loris