[madPL] Invited talks in my CS703 class

Mailing List Archives Authenticated access	UW Madison Computer Sciences Department Computer Systems Lab

Date:	Fri, 02 Oct 2020 13:20:44 -0500
From:	"Loris D'Antoni" <loris@xxxxxxxxxxx>
Subject:	[madPL] Invited talks in my CS703 class

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

[← Prev in Thread]	Current Thread	[Next in Thread→]
[madPL] Invited talks in my CS703 class, Loris D'Antoni <= Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni Message not available Message not available Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni

Previous by Date:	Re: [madPL] Seminar, Loris D'Antoni
Next by Date:	[madPL] Talk relevant to PL, Loris D'Antoni
Previous by Thread:	[madPL] hot streaks, Aws Albarghouthi
Next by Thread:	Re: [madPL] Invited talks in my CS703 class, Loris D'Antoni
Indexes:	[Date] [Thread]

Mailing List Archives