Re: [madPL] Invited talks in my CS703 class

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

Reminder that this is today at 11!

On Wed, Oct 28, 2020 at 8:11 PM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

The last invited talk in my CS703 class is next Monday November 2nd at 11!

Rishabh Singh will tell us about Neurosymbolic Synthesis!
https://us.bbcollab.com/guest/6dc1eee7ae3745b4a3090856212892de

Note: Both of Nadia's talks are available here now

https://drive.google.com/drive/folders/1YLWY5cPaSssdCWw4GmNO2G9H-3F_6wxj?usp=sharing

Rishabh's talk will be posted on Monday!

On Wed, Oct 21, 2020 at 11:18 AM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

I posted the first one hereÂhttps://drive.google.com/drive/folders/1YLWY5cPaSssdCWw4GmNO2G9H-3F_6wxj?usp=sharing

You should be able to access it when you login with your Wisc email

On Wed, Oct 21, 2020 at 11:08 AM <albargah@xxxxxxxxx> wrote:

are the slides/recording available?

On Wed, Oct 21, 2020 at 11:00 AM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

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

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

--

Aws

--

-Loris

--

-Loris

--

-Loris